| |
| * | 2009 | |
|---|---|---|
| 2 | EE | Giorgio Dalzotto, Tomás Recio: On Protocols for the Automated Discovery of Theorems in Elementary Geometry. J. Autom. Reasoning 43(2): 203-236 (2009) |
| 2000 | ||
| 1 | EE | Laura Bazzotti, Giorgio Dalzotto, Lorenzo Robbiano: Remarks on Geometric Theorem Proving. Automated Deduction in Geometry 2000: 104-128 |
| 1 | Laura Bazzotti | [1] |
| 2 | Tomás Recio | [2] |
| 3 | Lorenzo Robbiano | [1] |