Los profesores Tomás Recio y Pilar Vélez, del Grupo de Investigación Nebrija en Matemáticas y sus Aplicaciones, han publicado recientemente dos artículos en revistas de impacto, indexadas en los cuartiles Q1 y Q2 del JCR.
El primero de ellos, junto Zoltán Kovács (PH-Linz), titulado On automated completion of geometry statements and proofs with GeoGebra Discovery ha sido pubicado los últimos días de 2024 en Annals of Mathematics and Artificial Intelligence. Esta revista, de la editorial Springer-Nature, se encuentra indexada en el campo Applied Mathematics del JCR y está posicionada en el segundo cuartil (Q2).
El artículo aborda cinco problemas con las herramientas de razonamiento automatizado en GeoGebra Discovery y basadas en álgebra conmutativa, que fueron abordados previamente por otros autores con herramientas basadas en lógica. Los resultados permiten reflexionar sobre los pros y los contras de estos dos enfoques diversos, mostrando, en particular, las oportunidades que aporta GeoGebra Discovery para mejorar el razonamiento humano en geometría.
El segundo artículo ha sido publicado los primeros días de 2025 en la revista Axioms de la editorial MDPI que se encuentra indexada JCR en el primer cuartil (Q1). Se trata de un trabajo, en colaboración con Carlos Ueno, titulado A Computational Approach to the Perimeter-Area Inequality in a Triangle. La clásica desigualdad perímetro-área en triángulos sirve de ejemplo para, centrándose en los métodos de geometría algebraica real y compleja computacional, describir los retos, y las posibles formas de abordar sus soluciones, que aún plantea el uso de tales métodos de cálculo simbólico automatizado en geometría dinámica. En particular en lo que se refiere al descubrimiento de lugares de puntos que satisfacen condiciones geométricas específicas, sugiriendo mejoras relevantes para el futuro desarrollo de estas herramientas educativas en geometría basadas en IA simbólica.