Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski
arXiv:2201.00544 · doi:10.4204/EPTCS.352.18
Abstract
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 GeoGebra, a controller web service realgeom, and the computational tool Tarski (with the extensive help of the QEPCAD B system) successfully solves several non-trivial problems in Euclidean planar geometry related to inequalities.
In Proceedings ADG 2021, arXiv:2112.14770