7 citations · 8 across the 4 of their papers we have counts for
4 papers
Symbolic Comparison of Geometric Quantities in GeoGebra
Zoltán Kovács, Róbert Vajda
Comparison of geometric quantities usually means obtaining generally true equalities of different algebraic expressions of a given geometric figure. Today's technical possibilities…
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…
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…