CDEG: Computerized Diagrammatic Euclidean Geometry Export

@incollection{citeulike:1381518, 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.}, author = {Miller, Nathaniel}, citeulike-article-id = {1381518}, citeulike-linkout-0 = {http://www.springerlink.com/content/xnhhf1ccyb1xubwf}, journal = {Diagrammatic Representation and Inference : Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002. Proceedings}, keywords = {for\_gabe}, pages = {321--322}, posted-at = {2007-06-12 14:50:20}, priority = {0}, title = {CDEG: Computerized Diagrammatic Euclidean Geometry}, url = {http://www.springerlink.com/content/xnhhf1ccyb1xubwf}, year = {2002} }

TY - CHAP ID - citeulike:1381518 L3 - citeulike-article-id:1381518 N2 - 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. JF - Diagrammatic Representation and Inference : Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002. Proceedings EP - 322 TI - CDEG: Computerized Diagrammatic Euclidean Geometry SP - 321 KW - for_gabe AU - Miller, Nathaniel PY - 2002/// UR - http://www.springerlink.com/content/xnhhf1ccyb1xubwf ER -