TY - RPRT TI - Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned AU - Belén Ariño-Morera AU - Zoltán Kovács AU - Tomás Recio AU - Piedad Tolmos PY - 2024 DO - 10.4204/eptcs.398.13 UR - https://arxiv.org/abs/2401.11906 ID - 2401.11906 ER -