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.
arXiv:0810.4315 · doi:10.1017/S1755020309990098
We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.