Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2022
- DOI:
- 10.48550/arXiv.2201.00544
- arXiv:
- arXiv:2201.00544
- Bibcode:
- 2022arXiv220100544B
- Keywords:
-
- Mathematics - Logic
- E-Print:
- In Proceedings ADG 2021, arXiv:2112.14770