2 citations · 2 across the 5 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.RO2024
The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt
Anna Käferböck, Zoltán Kovács
We give an example of automated geometry reasoning for an imaginary classroom project by using the free software package GeoGebra Discovery. The project is motivated by a publicly…
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.LO2024
Proceedings 14th International Conference on Automated Deduction in Geometry
Pedro Quaresma, Zoltán Kovács
ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction…