TGTP - Thousand of Geometric problems for geometric Theorem Provers

Anonymous Login Registered Login Help

Help, Howtos and Tutorials

Contact the author: pedro mat uc pt

After login every user will have access to the sections described below. To the registrated users it will be granted write access to the list of problems.


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.