Francisco
Botana Ferreiro
Publications by the researcher in collaboration with Francisco Botana Ferreiro (3)
2024
-
On Using GeoGebra and ChatGPT for Geometric Discovery
Computers, Vol. 13, Núm. 8
2020
-
Hacia un autómata geómetra
Gaceta de la Real Sociedad Matematica Española, Vol. 23, Núm. 2, pp. 343-373
2017
-
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)