The role of automated reasoning of geometry statements in mathematics instruction

  1. Botana, Francisco
  2. Recio, Tomas
  3. Pilar Velez, M.
Book:
PROCEEDINGS OF THE TENTH CONGRESS OF THE EUROPEAN SOCIETY FOR RESEARCH IN MATHEMATICS EDUCATION (CERME10)
  1. Dooley, T (coord.)
  2. 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