Publicaciones (183) Publicaciones de Tomás Jesús Recio Muñiz Ver datos de investigación referenciados.

2024

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

    Journal of Symbolic Computation, Vol. 120

  2. Crónica del Congreso Internacional de GeoGebra

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

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

  4. Geometric Loci and ChatGPT: Caveat Emptor! †

    Computation, Vol. 12, Núm. 2

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

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

  7. On Using GeoGebra and ChatGPT for Geometric Discovery

    Computers, Vol. 13, Núm. 8

  8. Showing Proofs, Assessing Difficulty with GeoGebra Discovery

    Electronic Proceedings in Theoretical Computer Science, EPTCS

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

    Electronic Proceedings in Theoretical Computer Science, EPTCS

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

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

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

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

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

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

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

  9. 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. Adaptación de materiales del proyecto matesgg para alumnado con autismo

    Investigación en Educación Matemática XXV