Publications by the researcher in collaboration with María Pilar Vélez Melón (2)

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)