Los profesores Tomás Recio y Pilar Vélez, del grupo Matemáticas y sus aplicaciones de la Politécnica Nebrija, han presentado el estado de sus investigaciones en la conferencia OAL-RAG 2024 celebrada del 9 al 11 de mayo en la Louisiana State University, Baton Rouge (USA).
La conferencia OAL-RAG 2024 se ha desarrollado en formato híbrido y ha reunido especialistas en ámbitos de las matemáticas relacionados con órdenes, álgebra, lógica y geometría algebraica real.
Los profesores Recio y Vélez han impartido una conferencia en remoto, titulada A Real Mechanical Geometer, en la que han presentado el sistema GeoGebra Discovery implementado sobre el programa de geometría dinámica GeoGebra y cuyas bases matemáticas y desarrollo es una de las líneas de investigación del grupo.
GeoGebra Discovery añade a GeoGebra la posibilidad de demostrar y descubrir teoremas de Geometría de forma automática a partir de una construcción. El foco de la charla estuvo en los resultados de geometría algebraica y geometría algebraica real que garantizan la corrección de los algoritmos implementados en GeoGebra Discovery, así como en los propios algoritmos. Los profesores, concluyeron exponiendo el trabajo en curso con una serie de preguntas abiertas a resolver para continuar con su investigación.