Actividades y eventos
Organización de eventos
Conferencias
II Workshop IAxEM: Augmented Intelligence x Mathematics Education
16-18 febrero 2026 · Universidad Rey Juan Carlos (Madrid)
I Workshop IAxEM: Augmented Intelligence x Mathematics Education
20-21 febrero 2025 · Universidad Nebrija (Madrid)
Formación de Profesorado
Primera Formación del PROYECTO IAxEM
9, 10 y 11 de diciembre, 2026
URJC, Campus de Manuel Becerra
Actividades de Modelización e Impresión 3D
Rutas matemáticas con GeoGebra.
Introducción al Razonamiento Automático con GeoGebra Discovery.
Trabajo por equipos, presentación de tareas y discusión.
Seminarios
- Exploring the KTMT Model: Knowledge for Teaching Mathematics with Technology
Helena Rocha (Universidade NOVA de Lisboa, Portugal)
14 abril 2026 (16:00, Teams)
Participación en congresos
«Retos didácticos en el diseño de tareas matemáticas que incorporan razonamiento automático: Aprendizajes desde la formación del profesorado»
Martínez-Zarzuelo, A.
XXXIX Reunión Latinoamericana de Matemática Educativa (RELME39)
20–24 julio 2026 · Santo Domingo (República Dominicana)
«Comparing human perception, computer-algebra-based algorithmic approaches, and generative AI for ranking the complexity/difficulty/interest of elementary geometry statements»
Tolmos, P.; Velez, M.P.; Recio, T.
ICMS-2026 (International Congress on Mathematical Software)
20–23 julio 2026 · Wilfrid Laurier University and University of Waterloo, Waterloo, Ontario (Canadá)
«Comparing human perception, computer-algebra, and generative AI approaches for ranking elementary geometry statements»
Kóvacs, Z.; Recio, T.; Tolmos, P.; Vélez, M.P.
SCML-2026 – International Conference on Symbolic Computation and Machine Learning
6–8 julio 2026 · Hagenberg (Austria)
«Usando GeoGebra Discovery como herramienta para el aprendizaje creativo y colaborativo de la geometría»
Ariño-Morera, B.; Recio, T.; Tolmos, P.
XXII JAEM – Jornadas para el Aprendizaje y la Enseñanza de las Matemáticas
1–4 julio 2026 · Universidad de Jaén, Jaén (España)
«The ShowProof command in GeoGebra: Automated ranking and derivation of geometric statements»
Kovács, Z.; Nolla, A.; Recio, T.; Vélez, M.P.
MEGA 2026 – Effective Methods in Algebraic Geometry
6–10 julio 2026 · Durham University (Reino Unido)
«FotoGebra Discovery: modelización matemática a partir de imágenes y razonamiento automático con GeoGebra»
Rizzo, K.; Recio, T.
XXII JAEM – Jornadas para el Aprendizaje y la Enseñanza de las Matemáticas
1–4 julio 2026 · Universidad de Jaén, Jaén (España)
«Addressing, with the concourse of CAS, diverse open issues dealing with the manifold and subtle concept of geometric locus»
R. Rubio; T. Recio; M.P. Vélez
ThEdu 2026 – 16th International Workshop on Theorem Proving Components for Educational Software
19 julio 2026 · Lisboa (Portugal)
«The ShowProof command in GeoGebra: Automated ranking and derivation of geometric statements»
Kovács, Z.; Nolla, Á.; Recio, T.; Vélez, M. P.
Effective Methods in Algebraic Geometry (MEGA 2026)
7 julio 2026 · Durham (Reino Unido)
«Herramientas de razonamiento automático en GeoGebra Discovery: propuestas educativas»
Recio, T.; Martínez-Zarzuelo, A.
XVI Congreso regional de Educación Matemática. V Jornada de GeoGebra Castilla y León.
7-8 noviembre 2025 · Soria
«Automated derivation of several geometry theorems from a given one (with Maple’s help)»
Kovács, Z., Recio, T., Vélez, M.P.
Maple Conference · Exploring the Frontiers of Mathematics Technology
5–7 noviembre 2025 · Virtual
«Adressing, with the concourse of Maple, diverse open issues dealing with the mainfold and subtle concepts of geometric locus»
Recio, T.; Rubio, M.R.; Vélez, M.P.
Maple Conference · Exploring the Frontiers of Mathematics Technology
5–7 noviembre 2025 · Virtual
«Una propuesta para la Educación Matemática y Artística con Geometría Dinámica y Razonamiento Automatizado»
Ariño-Morera, M.B.; Nolla, Á.; Recio, T.
II Geogebra International Congress
23-25 octubre 2025 · Universidad de Coimbra (Portugal)
«Explorando el entorno con GeoGebra Discovery»
Martínez-Zarzuelo, A.; Nolla, Á.; Tolmos, P.; Vélez, M.P.
II Geogebra International Congress
23-25 octubre 2025 · Universidad de Coimbra (Portugal)
«A proposal for Mathematics and Arts Education with Dynamic Geometry and Automated Reasoning»
Nolla, Á.; Recio, T.
CADGME 2025
9-11 septiembre 2025 · Université du Luxembourg (Luxemburgo)
«Inteligencia Aumentada en la Educación Matemática a través de Modelado, Razonamiento Automatizado e Inteligencia Artificial«
Martínez-Zarzuelo, A.; Nolla, A.; Tolmos, P.; Recio, T.; Vélez, M.P.
XXVIII Simposio de la Sociedad Española de Investigación Matemática. Grupo APRENGEOM.
10-12 septiembre 2025 · Melilla
«Dynamic Geometry and Automated Reasoning for Mathematics and Arts Education: A proposal»
Nolla, Á.; Recio, T.
MACAS 2025
16-21 agosto 2025 · University of Montcon (Canadá)
«Inteligencia Artificial Simbólica mediante GeoGebra Discovery: Cinco propuestas para la Educación Matemática en el Aula«
Martínez-Zarzuelo, A.; Nolla, Á.; Tolmos, P.; Vélez, M.P.
«La Inteligencia Artificial como Recurso Educativo en la Formación Inicial del Profesorado: Propuestas Educativas de GeoGebra Discovery en Geometría«
Martínez-Zarzuelo, A.; Ariño-Morera, B.; Rodríguez-Mantilla, J.M.; Recio, T.
X Congreso Iberoamericano de Educación Matemática (CIBEM)
7-12 julio 2025 · Guadalajara (México)
«Innovación en Educación con TIC: IAxEM-CM y la Inteligencia Artificial en Matemáticas«
Martínez-Zarzuelo, A.; Nolla, Á.; Recio, T.; Tolmos, P.; Vélez, M.P.
II Conferencia Ibérica de Innovación en Educación con TIC
19-20 febrero 2025 · Madrid
«Criterios para la creación y adaptación de manipulativos para atender a la diversidad en el aula de matemáticas»
Nolla, Á.; de Castro Hernández, C.
Reunión Intermedia IDIEM · SEIEM
21-22 febrero 2025 · Universidad Autónoma de Madrid
Divulgación
«Descubrir, tocar y experimentar la Geometría»
Actividad de divulgación del proyecto IAxEM-CM.
