A formal system for Euclid's Elements
arXiv:0810.4315 · doi:10.1017/S1755020309990098
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.
Cited by in corpus (5)
- Formalization and Implementation of Algebraic Methods in Geometry
- A Galois connection between classical and intuitionistic logics. I: Syntax
- Automated Generation of Illustrations for Synthetic Geometry Proofs
- Automated Generation of Geometric Theorems from Images of Diagrams
- On Constructive-Deductive Method For Plane Euclidean Geometry