Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski
Logic
2022-01-04 v1
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.
Keywords
Cite
@article{arxiv.2201.00544,
title = {Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski},
author = {Christopher W. Brown and Zoltán Kovács and Róbert Vajda},
journal= {arXiv preprint arXiv:2201.00544},
year = {2022}
}
Comments
In Proceedings ADG 2021, arXiv:2112.14770