Publication | Open Access
A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i>
144
Citations
27
References
2009
Year
We present a formal system, E , which provides a faithful model of the proofs in Euclid’s Elements , including the use of diagrammatic reasoning.
| Year | Citations | |
|---|---|---|
Page 1
Page 1