2000 character limit reached
A formal system for Euclid's Elements (0810.4315v3)
Published 23 Oct 2008 in math.LO
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.
Sponsor
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.