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
Year of publication: 2017
Pages: 2492-2493
Congress: 10th Congress of the European-Society-for-Research-in-Mathematics-Education (CERME)
Type: Conference paper