Interoperable interactive geometry for Europe
I forgot my login data
Register


Report a bug


Fan club

Quick Intro Videos
click to start movie
Create A Simple
GeoGebra Resource (25Mb)
click to start movie
Filing a review
click to start movie
Find a Resource

SPONSORS
This platform is brought to you by the intergeo project, funded under the eContent Plus programme of the European commission and by partners

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.

Navigate to This External Web Link:

Preview of the Resource in Action