# A formal system for Euclid's Elements

• Published in 2008
In the collections
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

key
type
article
2010-04-04
date_published
2008-10-01
keywords
Logic

### BibTeX entry

@article{Avigad2008,
type = {article},
title = {A formal system for Euclid's Elements},
author = {Avigad, Jeremy and Dean, Edward and Mumma, John},
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.},
comment = {},
}