Razonamiento automático con GeoGebra Discovery en contextos reales de enseñanza de las matemáticas: el proyecto IAxEM - Angélica Martínez Zarzuelo; Alvaro Nolla de Celis; Tomás Jesús Recio Muñiz; Piedad Tolmos; María Pilar Vélez Melón (Unión. Revista Iberoamericana de Educación Matemática, 2026)