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

filter_list Artificial Intelligence

2024

  1. On Using GeoGebra and ChatGPT for Geometric Discovery

    Computers, Vol. 13, Núm. 8

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

    Annals of Mathematics and Artificial Intelligence

  3. Showing Proofs, Assessing Difficulty with GeoGebra Discovery

    Electronic Proceedings in Theoretical Computer Science, EPTCS

2023

  1. Artificial Intelligence Techniques in Software Design for Mathematics Education

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

2022

  1. Augmented intelligence with GeoGebra and Maple involvement

    Proceedings of the Asian Technology Conference in Mathematics

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

    Springer Suiza

2020

  1. Geogebra reasoning tools for humans and for automatons

    Proceedings of the Asian Technology Conference in Mathematics

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