Abstract
GeoGebra is open source mathematics education software being used in
thousands of schools worldwide. Its forthcoming new version 5 will support
automatic geometry theorem proving by using various methods which are already well
known, but not widely used in an education software.
GeoGebra's new embedded prover system chooses one of the available methods and
translates the problem constructed by the end user as the input for the
selected method, similarly to portfolio solvers. The applicable methods
include Wu's method, the Buchberger-Kapur method, the Area method and
Recio's exact check method, some of them as embedded algorithms, others
as outsourced computations. Since GeoGebra maintains the development
in an open-sourced way by collaborating with the OpenGeoProver, Singular
and Giac projects as well,
further enhancements can be expected by a larger community, including
implementing other methods as well.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 10th International Workshop on Automated Deduction in Geometry (ADG 2014) |
| Editors | Botana, F. and Quaresma, P. |
| Publisher | University of Coimbra, Portugal |
| Pages | 191-205 |
| Number of pages | 15 |
| Publication status | Published - 2014 |
Fields of science
- 503 Educational Sciences
- 503007 Didactics
- 503013 Subject didactics of natural sciences
JKU Focus areas
- Computation in Informatics and Mathematics
- Engineering and Natural Sciences (in general)