Automated reasoning tools in GeoGebra discovery
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
Abstract
We present some current achievements in the software package GeoGebra Discovery that provides several symbolic tools and commands to mechanically discover (and verify symbolically) relationships on planar geometry constructions. Our presentation includes the novel Discover tool and command, the Relation tool and command, and the Compare command. Our proposal successfully makes the cycle 'conjecturing-checking-proving' in elementary geometry even more accessible for general users, focusing not only on educational uses but research as well.
Topics & Concepts
Computer scienceRelation (database)Presentation (obstetrics)SoftwareProgramming languageData miningMedicineRadiologyConstraint Satisfaction and OptimizationData Management and AlgorithmsAdvanced Database Systems and Queries