GASC - Geometric Automatic theorem prover Systems Competition

View Results (by Problem) View Results (by GATP) Previous Editions Administration (reserved)

 

The intended goal with the implementation of a competition between Geometry Automated Theorem Provers (GATP) is to allow the creation of a test bench for GATP developers to improve the existing ones and to propose new ones.

It will allow to establish a ranking for GATP that could be used by "clients" (e.g. developers of educational e-learning systems) to choose the best implementation for a given intended use.

 

GASC

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