Nathaniel Miller. CDEG: Computerized Diagrammatic Euclidean Geometry. In Mary Hegarty, Bernd Meyer, N. Hari Narayanan, editors, Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002, Proceedings. Volume 2317 of Lecture Notes in Computer Science, pages 91-93, Springer, 2002. [doi]
Abstract is missing.