Publicaciones en las que colabora con Francisco Botana Ferreiro (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)