most citedSupporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski

7 citations · 8 across the 3 of their papers we have counts for

collaborators
Showing math.AGShow all

1 paper · 1 filter

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…