Razonamiento automático con GeoGebra Discovery en contextos reales de enseñanza de las matemáticas: el proyecto IAxEM
Resumo
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.
Downloads
Referências
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.
Direitos de Autor (c) 2026 Angélica Martínez-Zarzuelo,Angélica Martínez-Zarzuelo,Alvaro Nolla,Tomás Recio,Tomás Recio,Piedad Tolmos,Pilar Vélez
This work is licensed under a Creative Commons Attribution 4.0 International License.
O material publicado na revista é distribuído sob a licença Creative Commons International Attribution 4.0 (CC-BY 4.0). Esta licença permite que outros distribuam, misturem, ajustem e desenvolvam seu trabalho, mesmo para fins comerciais, desde que você seja creditado com a criação original. Os autores das obras publicadas na Revista Unión mantêm seus direitos autorais sem restrições.
##plugins.generic.dates.published## 2026-04-29
.png)
