Publicaciones (176) Publicaciones de Tomás Jesús Recio Muñiz

2024

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

    Journal of Symbolic Computation, Vol. 120

  2. Geometric Loci and ChatGPT: Caveat Emptor! †

    Computation, Vol. 12, Núm. 2

  3. Paseos matemáticos con MathCityMap y GeoGebra Discovery: Una propuesta

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

  4. Showing Proofs, Assessing Difficulty with GeoGebra Discovery

    Electronic Proceedings in Theoretical Computer Science, EPTCS

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

    Electronic Proceedings in Theoretical Computer Science, EPTCS

2023

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

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

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

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

    Mathematics, Vol. 11, Núm. 2

  4. Inclinando la botella de Piaget con GeoGebra Discovery

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

  5. Looking at Okuda’s artwork through GeoGebra: A Citizen Science experience

    AIMS Mathematics, Vol. 8, Núm. 8, pp. 17433-17447

  6. Segundo teorema de tales: un ejemplo básico, pero complicado, sobre la necesidad de cooperación ente DGS y CAS para el cálculo del lugar geométrico

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 116, pp. 44-59

  7. The “never-proved” triangle inequality: A GeoGebra & CAS approach

    AIMS Mathematics, Vol. 8, Núm. 10, pp. 22593-22642

  8. Towards Detection of Partial Truth via Real Geometry

    CEUR Workshop Proceedings

2022

  1. A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets

    Proceedings - 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022

  2. Adaptive, Synchronous, and Mobile Online Education: Developing the ASYMPTOTE Learning Environment

    Mathematics, Vol. 10, Núm. 10

  3. Augmented intelligence with GeoGebra and Maple involvement

    Proceedings of the Asian Technology Conference in Mathematics

  4. Automated Reasoning Tools with GeoGebra: What Are They? What Are They Good For?

    Mathematics education in the age of Artificial Intelligence: How Artificial Intelligence can serve mathematical human learning (Springer Suiza), pp. 23-44

  5. Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?

    Mathematics in Computer Science, Vol. 16, Núm. 4

  6. Niagara Falls and the Origins of Computer Algebra

    Maple Transactions, Vol. 2, Núm. 1

  7. Real Quantifier Elimination in the Classroom

    Proceedings of the Asian Technology Conference in Mathematics