The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt

Automated reasoning in geometry is available in various software tools for several years, mostly in prover packages. In this paper we pay our attention to a non-trivial presence of a geometry prover in the software tool GeoGebra Discovery [4, 5] that aims at reaching secondary schools with its intuitive user interface. Most importantly, we give a report on a STEM/STEAM project that was discussed in a group of prospective mathematics teachers at the Private University College of Education of the Diocese of Linz in Upper Austria during the winter semester 2022/23, in the frame of a course that focuses on exploiting technology in mathematics education (36 students in 2 working groups). This project consisted of several other experiments that were already communicated by the second author. The discussed activity, a detailed study of the movement of a rocking camel, is however, completely new. Also, some major improvements in the underlying software tool (implemented by the second author with a substantial help of the students' feedback), makes it much easier to model similar project setups and conclude mathematical knowledge in an automated way.