Nathaniel Miller CDEG: Computerized Diagrammatic Euclidean Geometry. 91-93 2002 conf/diagrams/2002 Diagrams http://link.springer.de/link/service/series/0558/bibs/2317/23170091.htm db/conf/diagrams/diagrams2002.html#Miller02