Publicacións nas que colabora con Francisco Botana Ferreiro (3)

2024

  1. On Using GeoGebra and ChatGPT for Geometric Discovery

    Computers, Vol. 13, Núm. 8

2020

  1. Hacia un autómata geómetra

    Gaceta de la Real Sociedad Matematica Española, Vol. 23, Núm. 2, pp. 343-373

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)