Publications (198) Tomás Jesús Recio Muñiz publications View referenced research data.

filter_list

2026

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

    Unión: revista iberoamericana de educación matemática, Núm. 76

2025

  1. An Experience with Pre-Service Teachers, Using GeoGebra Discovery Automated Reasoning Tools for Outdoor Mathematics

    Education Sciences, Vol. 15, Núm. 6

  2. Automated analysis of the difficulty of secondary school geometry theorems

    Annals of Mathematics and Artificial Intelligence, Vol. 93, Núm. 6, pp. 1011-1033

  3. Conjeturando, con GeoGebra Discovery, propiedades geométricas de objetos reales en paseos matemáticos para la formación de futuros docentes

    Educación, tecnología emergente y conciencia global: Caminos hacia una ciudadanía digital crítica y responsable

  4. Explorando lugares geométricos con geogebra discovery: una experiencia con futuros docentes

    Desafíos y oportunidades de la Innovación e Investigación en la Educación Superior (Dykinson), pp. 1639-1647

  5. Exploring Theo van Doesburg's Studie voor Aritmetische compositie with GeoGebra Discovery

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 119, pp. 36-58

  6. 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, Núm. 120, pp. 19-32

  7. On automated completion of geometry statements and proofs with GeoGebra Discovery

    Annals of Mathematics and Artificial Intelligence, Vol. 93, Núm. 6, pp. 995-1009

  8. Symbolic Mathematical Computation 1965 1975 The View from a Half-Century Perspective

    ISSAC 2025 - Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation

  9. The Impact of a MOOC: Long-Term Analysis of Teachers’ Learning Outcomes and Practices

    Education Sciences, Vol. 15, Núm. 3

  10. The ShowProof Command in GeoGebra Discovery: Towards the Automated Ranking of Elementary Geometry Theorems

    ACM Communications in Computer Algebra, Vol. 58, Núm. 2, pp. 27-30

2024

  1. Automated reasoning tools for dealing with elementary but intriguing geometric loci

    Proceedings of the Asian Technology Conference in Mathematics

  2. Computing with Tarski formulas and semi-algebraic sets in a web browser

    Journal of Symbolic Computation, Vol. 120

  3. Crónica del Congreso Internacional de GeoGebra

    Suma: Revista sobre Enseñanza y Aprendizaje de las Matemáticas, Núm. 106, pp. 117-120

  4. Dos conferencias interesantes en este otoño

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 118, pp. 85-86

  5. Geometric Loci and ChatGPT: Caveat Emptor! †

    Computation, Vol. 12, Núm. 2

  6. La Leyenda de Pita: El camino hacia el saber

    Suma: Revista sobre Enseñanza y Aprendizaje de las Matemáticas, Núm. 107, pp. 91-94

  7. Las matemáticas tras la marca turística de «Cabra, la cordobesa»

    Suma: Revista sobre Enseñanza y Aprendizaje de las Matemáticas, Núm. 106, pp. 91-98

  8. Mathematical trails with MathCityMap y GeoGebra Discovery: Una propuesta

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 117, pp. 19-37

  9. On Using GeoGebra and ChatGPT for Geometric Discovery

    Computers, Vol. 13, Núm. 8