Escola De Enxeñaria Forestal
Centro
María Pilar
Vélez Melón
Publicaciones en las que colabora con María Pilar Vélez Melón (2)
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)