@misc{indiciaec5528e82eb14, title = {Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned}, author = {Belén Ariño-Morera and Zoltán Kovács and Tomás Recio and Piedad Tolmos}, year = {2024}, doi = {10.4204/eptcs.398.13}, url = {https://arxiv.org/abs/2401.11906}, note = {Source identifier: 2401.11906} }