Giorgio Dalzotto

According to our database1, Giorgio Dalzotto authored at least 2 papers between 2000 and 2009.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
On Protocols for the Automated Discovery of Theorems in Elementary Geometry.
J. Autom. Reason., 2009

2000
Remarks on Geometric Theorem Proving.
Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000


  Loading...