Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski

Annapolis; Austria); Christopher W. Brown (United States Naval Academy; Hungary); Linz; MD; R\'obert Vajda (Bolyai Institute; Szeged; University of Szeged; USA)

REVIEW

Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2201.00544 v1 pith:PYH6NIJK submitted 2022-01-03 math.LO

Christopher W. Brown (United States Naval Academy , Annapolis , MD , USA) , Zoltán Kovács (The Private University College of Education of the Diocese of Linz , Linz , Austria) , Róbert Vajda (Bolyai Institute

show 3 more authors

University of Szeged Szeged Hungary)

This is my paper

classification math.LO

keywords geogebrainequalitiessystemgeometrictarskiautomaticallycalledcomputational

verification ladder T0 review T1 audit T2 compute T3 formal

0 comments

read the original 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.

Discussion (0). Sign in to comment.

Pith tools