The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913207357014016 |
|---|---|
| author | Käferböck, Anna Kovács, Zoltán |
| author_facet | Käferböck, Anna Kovács, Zoltán |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_11908 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt Käferböck, Anna Kovács, Zoltán Robotics Computational Geometry Symbolic Computation 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. |
| title | The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt |
| topic | Robotics Computational Geometry Symbolic Computation |
| url | https://arxiv.org/abs/2401.11908 |