4 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.SC2024★ 2 cited
Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned
Belén Ariño-Morera, Zoltán Kovács, Tomás Recio +1
We address, through the automated reasoning tools in GeoGebra Discovery, a problem from a regional phase of the Austrian Mathematics Olympiad 2023. Trying to solve this problem giv…
cs.SC2024★ 4 cited
Showing Proofs, Assessing Difficulty with GeoGebra Discovery
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
In our contribution we describe some on-going improvements concerning the Automated Reasoning Tools developed in GeoGebra Discovery, providing different examples of the performance…