Anna Käferböck (The Private University College of Education of the Diocese of Linz, Austria) |
Zoltán Kovács (The Private University College of Education of the Diocese of Linz, Austria) |
We give an example of automated geometry reasoning for an imaginary classroom project by using the free software package GeoGebra Discovery. The project is motivated by a publicly available toy, a rocking camel, installed at a medical center in Upper Austria. We explain how the process of a false conjecture, experimenting, modeling, a precise mathematical setup, and then a proof by automated reasoning could help extend mathematical knowledge at secondary school level and above. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.398.16 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |