Razonamiento automático con GeoGebra Discovery en contextos reales de enseñanza de las matemáticas: el proyecto IAxEM
Resumen
Se presenta el proyecto de investigación “Inteligencia aumentada en educación matemática mediante modelización, razonamiento automático e inteligencia artificial” (IAxEM-CM), financiado por la Comunidad de Madrid, cuyo objetivo es el diseño, experimentación y evaluación de propuestas educativas que integran razonamiento automático a través de GeoGebra Discovery e inteligencia artificial en contextos reales de aprendizaje matemático, dirigidas a estudiantes de Educación Primaria y Secundaria y al profesorado, tanto en la formación inicial como en activo. En el artículo se describen el enfoque y las principales líneas de actuación del proyecto, así como los aprendizajes derivados de su primer año de desarrollo, invitando a la comunidad educativa a reflexionar sobre su potencial y a colaborar en su implementación en el aula.
Descargas
Citas
Ariño-Morera, B., Benito, A., Nolla, Á., Recio, T., & Seoane, E. (2023). Looking at Okuda’s artwork through GeoGebra: A Citizen Science experience. AIMS- Mathematics, 8(8), 17433-17447. https://doi.org/10.3934/math.2023890
Ariño-Morera, B., Martínez-Zarzuelo, A., Lázaro del Pozo, C., & Recio, T. (2024). Paseos matemáticos con MathCityMap y GeoGebra Discovery: una propuesta. Boletín de la Sociedad Puig Adam de Profesores de Matemáticas, 117, 19-37.
Botana, F., Recio, T., & Vélez, M.P. (2024). On Using GeoGebra and ChatGPT for Geometric Discovery. Computers, 13(8), 187. https://doi.org/10.3390/computers13080187
Hanna, G. & Yan, X. (2021). Opening a discussion on teaching proof with automated theorem provers. For the Learning of Mathematics, 41(3), 42-46. https://www.jstor.org/stable/27091220
Kovács, Z., Parisse, B., Recio, T., Vélez, M.P. & Yu, J.H. (2024). The ShowProof command in GeoGebra Discovery: Towards the automated ranking of Elementary geometry theorems. ACM Communications in Computer Algebra, 58(2), 27-30. https://doi.org/10.1145/3712023.3712026
Martínez-Zarzuelo, A., Nolla, Á., Recio, T., Tolmos, P., Ariño-Morera, B., & Gallardo, A. (2025). An Experience with Pre-Service Teachers, Using GeoGebra Discovery Automated Reasoning Tools for Outdoor Mathematics. Education Sciences, 15(6), 782. https://doi.org/10.3390/educsci15060782
Recio, T. & Martínez-Zarzuelo, A. (2025). Herramientas de razonamiento automático en GeoGebra Discovery: Recursos para la enseñanza y el aprendizaje de las matemáticas. Boletín de la Sociedad Puig Adam de Profesores de Matemáticas, 120, 19-32.
Derechos de autor 2026 Angélica Martínez-Zarzuelo,Angélica Martínez-Zarzuelo,Alvaro Nolla,Tomás Recio,Tomás Recio,Piedad Tolmos,Pilar Vélez
Esta obra está bajo licencia internacional Creative Commons Reconocimiento 4.0.
El material publicado en la revista se distribuye bajo una licencia Creative Commons Reconocimiento Internacional 4.0 (CC-BY 4.0). Esta licencia permite a otros distribuir, mezclar, ajustar y construir a partir de su obra, incluso con fines comerciales, siempre que le sea reconocida la autoría de la creación original. Los autores de los trabajos publicados en Revista Unión retienen el copyright de los mismos sin restricción alguna.
Publicado 2026-04-29
.png)
