TGTP - Thousands of Geometric problems for geometric Theorem Provers

TGTP - Thousand of Geometric problems for geometric Theorem Provers

Sections

Documents/Help: Documents about TGTP / Help & Howtos / Statistics.
Problems List: The full list of problems in the database.
Workbench: Testing conjectures with the "in-house" ATPs.
Downloads: Download the full listing (MySQL database), XML suite, etc.
Logout: Disconnecting from the data base.

TGTP - v2.1.91

© Pedro Quaresma (CISUC, Department of Mathematics, University of Coimbra)