TL;DR
This paper introduces a formal system that accurately models Euclid's Elements, including its diagrammatic reasoning, enabling precise formal analysis of classical geometric proofs.
Contribution
The paper presents a new formal system, E, that faithfully captures Euclid's proofs and diagrammatic reasoning, bridging classical geometry and formal logic.
Findings
Successfully models Euclid's proofs within the formal system
Includes diagrammatic reasoning in the formal framework
Provides a basis for automated verification of geometric proofs
Abstract
We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
