Publications (75) Publications in which a researcher has participated View referenced research data.

filter_list

2025

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

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

  2. 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. Reduction by Symmetry in Obstacle Avoidance Problems on Riemannian Manifolds

    SIAM Journal on Applied Algebra and Geometry, Vol. 8, Núm. 1, pp. 26-53

  12. Reduction of Necessary Conditions for the Variational Collision Avoidance Problem

    IFAC-PapersOnLine

  13. Reduction of Sufficient Conditions in Variational Obstacle Avoidance Problems

    IFAC-PapersOnLine

  14. Showing Proofs, Assessing Difficulty with GeoGebra Discovery

    Electronic Proceedings in Theoretical Computer Science, EPTCS

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

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  16. The Conundrum Challenges for Research Software in Open Science

    Computers, Vol. 13, Núm. 11

2023

  1. Artificial Intelligence Techniques in Software Design for Mathematics Education

    Handbook of Digital Resources in Mathematics Education (Springer), pp. 1-31

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

    EACA 2022: XVII Encuentro de Álgebra Computacional y Aplicaciones