# A formal system for Euclid's Elements

• Published in 2008
We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.

## Other information

keywords
Logic

### BibTeX entry

@article{Avigad2008,
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.},
author = {Avigad, Jeremy and Dean, Edward and Mumma, John},
keywords = {Logic},
month = {oct},
title = {A formal system for Euclid's Elements},
url = {http://arxiv.org/abs/0810.4315 http://arxiv.org/pdf/0810.4315v3},
year = 2008,
archivePrefix = {arXiv},
eprint = {0810.4315},
primaryClass = {math.LO},
urldate = {2010-04-04}
}