GeoGebra Discovery a tool based on symbolic computation for automated reasoning in Elementary Geometry
M. Pilar Vélez
Universidad Antonio de Nebrija
GeoGebra Discovery is a fork version of the dynamic geometry system GeoGebra that provides GeoGebra with the ability to automatically conjecture, discover and prove Geometry statements from a plane construction. The algorithms behind these features are based on complex and real algebraic geometry.
In this talk we introduce, first the current performance of the program GeoGebra Discovery regarding some automatic reasoning tools features. Then we focus on the computational algebraic geometry methods used, mostly in the complex setting, and some pending theoretical and algorithmic issues to extend (in the same technological and educational framework) such methods to deal with Geometry statements in the real algebraic geometry context.
https://github.com/kovzol/geogebra-discovery
Date: Friday, January 17th, 2025
Time: 13:00
Place: Aula I Trilingüe