| |
| 2006 | ||
|---|---|---|
| 4 | EE | Nathaniel Miller: Extended Abstract of Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry. Diagrams 2006: 127-129 |
| 3 | EE | Nathaniel Miller: Computational complexity of diagram satisfaction in Euclidean geometry. J. Complexity 22(2): 250-274 (2006) |
| 2002 | ||
| 2 | EE | Nathaniel Miller: CDEG: Computerized Diagrammatic Euclidean Geometry. Diagrams 2002: 91-93 |
| 2000 | ||
| 1 | EE | Nathaniel Miller: Case Analysis in Euclidean Geometry: An Overview. Diagrams 2000: 490-493 |