GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry

DOI10.1007/978-3-030-52200-1_26zbMath1503.68294arXiv2005.03586OpenAlexW3046585454MaRDI QIDQ5041061

Miroslav Olšák

Publication date: 13 October 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2005.03586

zbMATH Keywords

logical systemEuclidean geometry

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Elementary problems in Euclidean geometries (51M04) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• GeoProof
• GEX
• JGEX

Cites Work

• A deductive database approach to automated geometry theorem proving and discovering
• A graphical user interface for formal proofs in geometry
• An Introduction to Java Geometry Expert
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS
• Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles