swMATH ID: 12327
Software Authors: Pedro Quaresma
Description: TGTP - Thousand of Geometric problems for geometric Theorem Provers. The principal motivation in building TGTP (Thousands of Geometric problems for geometric Theorem Provers) is to support the testing and evaluation of geometric automated theorem proving (GATP) systems, to help ensure that performance results accurately reflect the capabilities of the GATP system being considered.
Homepage: http://hilbert.mat.uc.pt/TGTP/index.php
Related Software: GeoGebra; Intergeo; GeoThms; GCLCprover; GCLC; GATP; Electronic Geometry Textbook; GeoProof; TPTP; Cinderella; GEOTHER 1.1; JGEX; Opengeo; GEX; ArgoCLP; SMT-LIB; SATLIB; ArgoTriCS; WGL; Automath
Referenced in: 13 Publications

Referencing Publications by Year