TGTP - Thousand of Geometric problems for geometric Theorem Provers

Documents/Help Problems List Workbench Downloads Logout

Mandatory Information
Preferred username:
(max 16 chars)
Password:
(between 6 and 16 chars)
Confirm password:
Electronic mail address:
Optional Information
Name
Affiliation
Web-page (URL)
Regular User Regular Browse through the data, and to experiment the interactive workbench.

To become a Contributer user and be able to contribute with new data, send a message requesting that change to: pedro mat uc pt