Publicacións (195) Publicacións de Tomás Jesús Recio Muñiz Ver datos de investigación referenciados.

filter_list

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

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

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

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

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

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

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

  10. Showing Proofs, Assessing Difficulty with GeoGebra Discovery

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  11. Solving with GeoGebra Discovery an Austrian Mathematics Olympiad Problem: Lessons Learned

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  12. The Conundrum Challenges for Research Software in Open Science

    Computers, Vol. 13, Núm. 11