Publications by the researcher in collaboration with PILAR VÉLEZ MELÓN (51)

2024

  1. On Using GeoGebra and ChatGPT for Geometric Discovery

    Computers, Vol. 13, Núm. 8

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

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

    Mathematics, Vol. 11, Núm. 2

  4. Towards Detection of Partial Truth via Real Geometry

    CEUR Workshop Proceedings

2022

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

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

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

  3. Mathematics education in the age of Artificial Intelligence: How Artificial Intelligence can serve mathematical human learning

    Springer Suiza

  4. Niagara Falls and the Origins of Computer Algebra

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

  5. Pasión por las matemáticas: : lección magistral curso académico 2022-2023 : acto de apertura curso 2022-2023 : Campus Madrid-Princesa 16 de septiembre de 2022

    Universidad Antonio de Nebrija

  6. Towards an ecosystem for computer-supported geometric reasoning

    International Journal of Mathematical Education in Science and Technology, Vol. 53, Núm. 7, pp. 1701-1710

2021

  1. Actividad de creación de videos para la evaluación de las competencias oral y escrita en Matemáticas

    Actas de las III Jornadas Nebrija de Transversalidad en la Docencia: 19 y 20 de junio de 2020 (Universidad Antonio de Nebrija), pp. 55-59

  2. Automated reasoning tools in GeoGebra discovery

    ACM Communications in Computer Algebra, Vol. 55, Núm. 2, pp. 39-43

  3. Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)

    Zenodo

  4. Dealing with Degeneracies in Automated Theorem Proving in Geometry (Maple worksheet)

    Zenodo

  5. Dealing with degeneracies in automated theorem proving in geometry

    Mathematics, Vol. 9, Núm. 16

  6. GeoGebra Discovery in Context

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  7. Inventing theorems with GeoGebra: a new altitude theorem

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 111, pp. 8-28

  8. Merging Maple and GeoGebra Automated Reasoning Tools

    Communications in Computer and Information Science

2020

  1. Actas II Jornada Smart Campus [Resumen]: 10 de julio de 2020

    Universidad Antonio de Nebrija