A. Martínez-Zarzuelo, «Razonamiento automático con GeoGebra Discovery en contextos reales de enseñanza de las matemáticas: el proyecto IAxEM », UNION, vol. 22, n.º 76, abr. 2026.