La profesora Pilar Vélez, directora del departamento de Matemáticas y Física e investigadora principal del grupo Matemáticas y sus Aplicaciones (MA) de la Politécnica Nebrija, impartió el17 de enero una conferencia titulada GeoGebra Discovery: a tool based Symbolic Computation for automated reasoning in Elementary Geometry en el edificio Trilingüe de la Universidad de Salamanca, sede del Instituto de Física Fundamental y Matemáticas. La conferencia se enmarca en el IV Colloquium organizado por el IUFFyM en el curso 2024-2025.
La conferencia giró en torno a las investigaciones del grupo MA para el desarrollo de GeoGebra Discovery, una versión avanzada del sistema de geometría dinámica GeoGebra que proporciona a este la capacidad de conjeturar, descubrir y demostrar automáticamente enunciados de Geometría a partir de la construcción de un plano. Los algoritmos detrás de estas características se basan en la geometría algebraica compleja y real.
La profesora Vélez presentó, en primer lugar, las prestaciones actuales del programa GeoGebra Discovery en relación con algunas características de las herramientas de razonamiento automático. A continuación, centro la atención en los métodos de geometría algebraica computacional utilizados, principalmente en el entorno complejo, y en algunas cuestiones teóricas y algorítmicas pendientes para extender (en el mismo marco tecnológico y educativo) dichos métodos al contexto de la geometría algebraica real.