Publicacions (186) Publicacions de Tomás Jesús Recio Muñiz Veure dades d'investigació referenciades.

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. La Leyenda de Pita: El camino hacia el saber

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

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

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

  8. On Using GeoGebra and ChatGPT for Geometric Discovery

    Computers, Vol. 13, Núm. 8

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

    Annals of Mathematics and Artificial Intelligence

  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

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