Publications in collaboration with researchers from Universidade de Vigo (2)

2024

  1. On Using GeoGebra and ChatGPT for Geometric Discovery

    Computers, Vol. 13, Núm. 8

2017

  1. The role of automated reasoning of geometry statements in mathematics instruction

    PROCEEDINGS OF THE TENTH CONGRESS OF THE EUROPEAN SOCIETY FOR RESEARCH IN MATHEMATICS EDUCATION (CERME10)