Search Results for author:
Found 3 papers, 0 papers with code
Open Geometry Prover Community Project
Mathematical proof is undoubtedly the cornerstone of mathematics.
Towards a Geometry Automated Provers Competition
The geometry automated theorem proving area distinguishes itself by a large number of specific methods and implementations, different approaches (synthetic, algebraic, semi-synthetic) and different goals and applications (from research in the area of artificial intelligence to applications in education).
Towards Ranking Geometric Automated Theorem Provers
In many cases the geometric constructions are used to establish the theorems' statements, geometric constructions are, in some provers, used to conduct the proof, used as counter-examples to close some branches of the automatic proof.
