Publikationen (191) Publikationen von Tomás Jesús Recio Muñiz Verweis auf Forschungsdaten anzeigen.

filter_list

2025

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

    Annals of Mathematics and Artificial Intelligence

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

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

  3. 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. On automated completion of geometry statements and proofs with GeoGebra Discovery

    Annals of Mathematics and Artificial Intelligence

  11. Showing Proofs, Assessing Difficulty with GeoGebra Discovery

    Electronic Proceedings in Theoretical Computer Science, EPTCS

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

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  13. The Conundrum Challenges for Research Software in Open Science

    Computers, Vol. 13, Núm. 11

2023

  1. Dealing with degeneracies in automated theorem proving in geometry: A zero-dimensional approach

    EACA 2022: XVII Encuentro de Álgebra Computacional y Aplicaciones

  2. Dynamic construction of a family of octic curves as geometric loci

    AIMS Mathematics, Vol. 8, Núm. 8, pp. 19461-19476

  3. Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition

    ACM Communications in Computer Algebra, Vol. 57, Núm. 2, pp. 43-46

  4. From the Steam Engine to STEAM Education: An Experience with Pre-Service Mathematics Teachers

    Mathematics, Vol. 11, Núm. 2