GeoGebra Tools with Proof Capabilities
Artificial Intelligence
2016-03-04 v1
Abstract
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.
Cite
@article{arxiv.1603.01228,
title = {GeoGebra Tools with Proof Capabilities},
author = {Zoltán Kovács and Csilla Sólyom-Gecse},
journal= {arXiv preprint arXiv:1603.01228},
year = {2016}
}
Comments
22 pages