Abstract
CDEG (Computerized Diagrammatic Euclidean Geometry) is a computer proof system in which diagrammatic proofs of theorems of Euclidean Geometry can be given formally. The computer system manipulates geometric diagrams using an internal representation that is based on the idea that all the significant information in a geometric diagram is captured by its underlying topology. The proof system that CDEG implements is that of the author's diagrammatic formal system for geometry, FG. CDEG and FG are strong enough to be able to duplicate most, if not all, of the proofs in the first several books of Euclid's Elements. This paper explains CDEG and gives a brief example of how it works.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
