GASC - Geometric Automatic theorem prover Systems Competition |
|
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) |