Giorgio Dalzotto

Publication Activity (10 Years)

Years Active: 2000-2009
Publications (10 Years): 0

Publications

Giorgio Dalzotto, Tomás Recio
On Protocols for the Automated Discovery of Theorems in Elementary Geometry. J. Autom. Reason. 43 (2) (2009)
Laura Bazzotti, Giorgio Dalzotto, Lorenzo Robbiano
Remarks on Geometric Theorem Proving. Automated Deduction in Geometry (2000)