MARTÍNEZ-ZARZUELO, A.; MARTÍNEZ-ZARZUELO, A.; NOLLA, A.; RECIO, T.; RECIO, T.; TOLMOS, P.; VÉLEZ, P. Razonamiento automático con GeoGebra Discovery en contextos reales de enseñanza de las matemáticas: el proyecto IAxEM . UNIÓN - REVISTA IBEROAMERICANA DE EDUCACIÓN MATEMÁTICA, v. 22, n. 76, 29 abr. 2026.