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
Any de publicació: 2017
Pàgines: 2492-2493
Congrés: 10th Congress of the European-Society-for-Research-in-Mathematics-Education (CERME)
Tipus: Aportació congrés