Razonamiento automático con GeoGebra Discovery en contextos reales de enseñanza de las matemáticas: el proyecto IAxEM

• Autores: 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
• Localización: Unión: revista iberoamericana de educación matemática, ISSN-e 1815-0640, Nº. 76, 2026
• Idioma: español
• Enlaces
  • Texto completo
• Resumen
  • español

    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 Discoverye 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.

  • português

    Apresenta-se o projeto de investigação “Inteligencia aumentada en educación matemática mediante modelización, razonamiento automático e inteligencia artificial”(IAxEM-CM), financiado pela Comunidade de Madrid, cujo objetivo é a conceção, experimentação e avaliação de propostas educativas que integram o raciocínio automático através do GeoGebra Discovery e a inteligência artificial em contextos reais de aprendizagem matemática, dirigidas a alunos do ensino básico e secundário e aos docentes, tanto em formação inicial como em exercício. O artigo descreve a abordagem e as principais linhas de ação do projeto, bem como os ensinamentos retirados do seu primeiro ano de desenvolvimento, convidando a comunidade educativa a refletir sobre o seu potencial e a colaborar na sua implementação na sala de aula.

  • English

    This paper presents the research project “Inteligencia aumentada en educación matemática mediante modelización, razonamiento automático e inteligencia artificial” (IAxEM-CM), funded by the Community of Madrid. The project aims to design, implement, and evaluate educational proposals that integrate automated reasoning through GeoGebra Discovery and artificial intelligence in real-world mathematics learning contexts, targeting primary and secondary school students as well as pre-service and in-service teachers. The article describes the project’s approach and main lines of work, as well as the insights gained during its first year of development, inviting the educational community to reflect on its potential and to engage in its implementation in the classroom.

• Referencias bibliográficas
  • Ariño-Morera, B., Benito, A., Nolla, Á., Recio, T., & Seoane, E. (2023). Looking at Okuda’s artwork through GeoGebra: A Citizen Science...
  • Ariño-Morera, B., Martínez-Zarzuelo, A., Lázaro del Pozo, C., & Recio, T. (2024). Paseos matemáticos con MathCityMap y GeoGebra Discovery:...
  • 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),...
  • Kovács, Z., Parisse, B., Recio, T., Vélez, M.P. & Yu, J.H. (2024). The ShowProof command in GeoGebra Discovery: Towards the automated...
  • Martínez-Zarzuelo, A., Nolla, Á., Recio, T., Tolmos, P., Ariño-Morera, B., & Gallardo, A. (2025). An Experience with Pre-Service Teachers,...
  • Recio, T. & Martínez-Zarzuelo, A. (2025). Herramientas de razonamiento automático en GeoGebra Discovery: Recursos para la enseñanza y...