Sistema de blogs Diarium
Universidad de Salamanca
María Jesús Santos Sánchez
Facultad de Ciencias - Departamento Física Aplicada
 
Jardines

GeoGebra Discovery a tool based on symbolic computation for automated reasoning in Elementary Geometry

pilar-velez-melon-600x350

Pilar Vélez Melón

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

Maria Jesus

, ,

Política de privacidad
Studii Salmantini. Campus de excelencia internacional