TGTP - Thousand of Geometric problems for geometric Theorem Provers
Documents/Help
Problems List
Workbench
Downloads
Logout
Documents
Documents
List of Bibliographic References
List of Provers
List of Authors
Pedro Quaresma,
Thousands of Geometric problems for geometric Theorem Provers (TGTP)
, P. Schreck, J. Narboux, and J. Richter-Gebert (Eds.), ADG 2010, LNAI 6877, pp. 169-181. Springer, Heidelberg, 2011.
Pedro Quaresma,
The i2gatp format
, CISUC Technical Report (ongoing work).
Performance Information
Performance Information/Proof Status
Help/Howtos
Contact the author: