  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.
