TGTP

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.