The role of automated reasoning of geometry statements in mathematics instruction
- Botana, Francisco
- Recio, Tomas
- Pilar Velez, M.
- Dooley, T (coord.)
- Gueudet, G (coord.)
ISBN: 978-1-873769-73-7
Année de publication: 2017
Pages: 2492-2493
Congreso: 10th Congress of the European-Society-for-Research-in-Mathematics-Education (CERME)
Type: Communication dans un congrès