Pith. sign in

REVIEW

Automated Discovery of Geometrical Theorems in GeoGebra

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 2202.04627 v1 pith:XAHFE43E submitted 2022-02-08 cs.CG math.AG

Zoltán Kovács (The Private University College of Education of the Diocese of Linz , Linz , Austria) , Jonathan H. Yu (Gilman School Baltimore , Maryland , USA) This is my paper · ORCID
classification cs.CGmath.AG
keywords automateddiscoverygeogebrageometricimplementationpropertiestheoremstool
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We describe a prototype of a new experimental GeoGebra command and tool, Discover, that analyzes geometric figures for salient patterns, properties, and theorems. This tool is a basic implementation of automated discovery in elementary planar geometry. The paper focuses on the mathematical background of the implementation, as well as methods to avoid combinatorial explosion when storing the interesting properties of a geometric figure.

Discussion (0). Continue with ORCID to comment.

Pith tools