45 citations
- Universidad NebrijaES4 papers
- University of SzegedHU4 papers
- University of CoimbraPT2 papers
- Aalto UniversityFI1 paper
- Applied Science Private UniversityJO1 paper
- Birla Institute of Technology and Science, PilaniIN1 paper
- Graz University of TechnologyAT1 paper
- Johannes Kepler University of LinzAT1 paper
- Know Center Research GmbH (Austria)AT1 paper
- Linz Center of Mechatronics (Austria)AT1 paper
- Ludwig-Maximilians-Universität MünchenDE1 paper
- Suwon Research InstituteKR1 paper
Showing cs.SCShow all
3 papers · 1 filter
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…
cs.SC2017
On Euler's inequality and automated reasoning with dynamic geometry
Zoltán Kovács, Róbert Vajda, Aaron Montag
Euler's inequality can be investigated in a novel way by using implicit loci in GeoGebra. Some unavoidable side effects of the implicit locus computation introduce unexp…