7 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.CG2022★ 1 cited
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…
math.AG2022
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…
math.LO2022★ 7 cited
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…