A formal system for Euclid's Elements
Logic
2014-01-03 v3
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.
Cite
@article{arxiv.0810.4315,
title = {A formal system for Euclid's Elements},
author = {Jeremy Avigad and Edward Dean and John Mumma},
journal= {arXiv preprint arXiv:0810.4315},
year = {2014}
}