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

filter_list Software

2024

  1. Geometric Loci and ChatGPT: Caveat Emptor! †

    Computation, Vol. 12, Núm. 2

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

    Annals of Mathematics and Artificial Intelligence

2023

  1. Artificial Intelligence Techniques in Software Design for Mathematics Education

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

2022

  1. Visualizing a Cubic Linkage through the Use of CAS and DGS

    Mathematics, Vol. 10, Núm. 15

2020

  1. Reasoning about linkages with dynamic geometry

    Journal of Symbolic Computation, Vol. 97, pp. 16-30

2018

  1. Enunciados ni ciertos ni falsos en razonamiento automático en geometría

    Monografías de la Real Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza, Núm. 43, pp. 111-114