7 citations · 37 across the 16 of their papers we have counts for
16 papers
GeoGebra Discovery in Context
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
In our contribution we will reflect, through a collection of selected examples, on the potential impact of the GeoGebra Discovery application on different social and educational co…
Online Generation of Proofs Without Words
Alexander Thaller, Zoltán Kovács
Understanding geometric relationships with little mathematical knowledge can be challenging for today's students and teachers. A new toolset is introduced that is able to create a…
Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra
Zoltán Kovács, Róbert Vajda
We introduced the package/subsystem GeoGebra Discovery to GeoGebra which supports the automated proving or discovering of elementary geometry inequalities. In this case study, for…
Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski
Christopher W. Brown, Zoltán Kovács, Róbert Vajda
We introduce a system of software tools that can automatically prove or discover geometric inequalities. The system, called GeoGebra Discovery, consisting of an extended version of…
Proceedings of the 13th International Conference on Automated Deduction in Geometry
Predrag Janičić, Zoltán Kovács
Automated Deduction in Geometry (ADG) is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection betwee…
Detecting truth, just on parts
Zoltán Kovács, Tomás Recio, M. Pilar Vélez
We introduce and discuss, through a computational algebraic geometry approach, the automatic reasoning handling of propositions that are simultaneously true and false over some rel…