![Foto de María Pilar](/img/nophoto.png)
María Pilar
Vélez Melón
Publikationen, an denen er mitarbeitet 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)