Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned. - Belén Ariño-Morera; Zoltán Kovács; Tomás Recio; Piedad Tolmos (ADG, 2023)