"The Relation Tool in GeoGebra 5"
, in Botana, Francisco and Quaresma, Pedro: Automated Deduction in Geometry, Serie Lecture Notes in Computer Science, Vol. 9201, Springer International Publishing, Seite(n) 53-71, 7-2015, ISBN: 978-3-319-21361-3
The Relation Tool in GeoGebra 5
Sprache des Titels:
Automated Deduction in Geometry
GeoGebra is open source mathematics education software being used in thousands of schools worldwide. Its new version 5 supports automatic geometry theorem proving by using various methods which are already well known, but not widely used in education software. GeoGebra?s new embedded prover system chooses one of the available methods and translates the problem specified by the end user as the input for the selected method, similarly to portfolio solvers. The available 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. These methods can also be hidden from end users who are provided with an intuitive graphical user interface, the Relation Tool. Since GeoGebra maintains the development in an open-sourced way by collaborating with the OpenGeoProver, Singular and Giac projects, further enhancements can be expected by a larger community, including implementing other methods, too.