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

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

collaborators
Showing cs.SCShow all

1 paper · 1 filter

cs.SC2017

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…