GeoGebra Tools with Proof Capabilities
This work provides incremental improvements to automated theorem proving in educational geometry software, benefiting users like students and teachers.
The authors enhanced GeoGebra's theorem proving subsystem to extend multiple tools with proof capabilities, enabling automated proofs of elementary geometry theorems through an intuitive interface across Java and web platforms, validated with a 200-case test suite.
We report about significant enhancements of the complex algebraic geometry theorem proving subsystem in GeoGebra for automated proofs in Euclidean geometry, concerning the extension of numerous GeoGebra tools with proof capabilities. As a result, a number of elementary theorems can be proven by using GeoGebra's intuitive user interface on various computer architectures including native Java and web based systems with JavaScript. We also provide a test suite for benchmarking our results with 200 test cases.