Publikationen in Zusammenarbeit mit Forschern von Universidade de Vigo (1)

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)