A formal system for Euclid's Elements

• Published in 2008
• Added on 2010-04-04

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

Links

• http://arxiv.org/abs/0810.4315
• http://arxiv.org/pdf/0810.4315v3

Other information

BibTeX entry

@article{Avigad2008,
	key = {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 = {},
	date_added = {2010-04-04},
	date_published = {2008-10-01},
	urls = {http://arxiv.org/abs/0810.4315,http://arxiv.org/pdf/0810.4315v3},
	collections = {Geometry,About proof},
	keywords = {Logic},
	month = {oct},
	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}
}