El grupo Matemáticas y sus aplicaciones de la Escuela Politécnica Superior de la Universidad Nebrija ha sido distinguido con el Software Demostration Award en el (ISSAC). Celebrada recientemente en Raleigh (EE UU), se trata de la conferencia internacional más destacada sobre investigación en computación simbólica y álgebra computacional.
Este año 2024, ISSAC ha celebrado su 49ª edición, que comenzó en 1966 y tiene lugar anualmente desde 1981. La conferencia presenta una serie de ponentes invitados, tutoriales, comunicaciones breves, demostraciones de software y exposiciones de proveedores, precedido de una selección de artículos revisados por pares.
Los profesores Tomás Recio y M. Pilar Vélez son coautores, junto con Zoltán Kovács, Bernard Parisse y Jonathan H. Yu, de “The ShowProof command in GeoGebra Discovery: Towards the automated ranking of elementary geometry theorems”. Kovács (colaborador habitual de Recio y Vélez, y principal desarrollador de GeoGebra Discovery) y Yu presentaron el trabajo en el ISSAC 2024 como una demostración de software. La demo consiguió el premio Software Demostration Award ISSAC 2024.
La demostración de software presentada estuvo centrada en el comando ShowProof implementado recientemente en GeoGebra Discovery, la plataforma de razonamiento automático en geometría en la que trabaja el grupo Matemáticas y sus aplicaciones. ShowProof ofrece una demostración algebraica certificada paso a paso de teoremas de geometría plana y su salida exportable está disponible en varios idiomas, además de LaTex. Su diseño e implementación ha requerido de conceptos y algoritmos de álgebra computacional.