Author:
AVIGAD JEREMY,DEAN EDWARD,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.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Reference65 articles.
1. Proof Style and Understanding in Mathematics I: Visualization, Unification and Axiom Choice
2. Eudoxus and Dedekind: On the ancient Greek theory of ratios and its relation to modern mathematics;Stein;Synthese,1990
3. What is Elementary Geometry?
4. Kant's "Argument from Geometry"
5. E—A brainiac theorem prover;Schulz;Journal of AI Communications,2002
Cited by
113 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献