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