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
Datum der Publikation: 2017
Seiten: 2492-2493
Kongress: 10th Congress of the European-Society-for-Research-in-Mathematics-Education (CERME)
Art: Konferenz-Beitrag