TGTP - Thousands of Geometric problems for geometric Theorem Provers

TGTP - Thousand of Geometric problems for geometric Theorem Provers

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

TGTP - v2.1.91