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…