- 2012
[j3]
[c5]
Nathaniel Miller:
CDEG: Computerized Diagrammatic Euclidean Geometry 2.0. Diagrams 2012: 294-296
- 2011
[c4]
Shilad Sen,
Henry Charlton,
Ryan Kerwin,
Jeremy Lim,
Brandon Maus,
Nathaniel Miller,
Megan R. Naminski,
Alex Schneeman,
Anthony Tran,
Ernesto Nunes,
E. Isaac Sparling:
Macademia: semantic visualization of research interests. IUI 2011: 457-458
- 2006
[j2]
Nathaniel Miller:
Computational complexity of diagram satisfaction in Euclidean geometry. J. Complexity 22(2): 250-274 (2006)
[j1]
Nathaniel Miller:
A Brief Proof of the Full Completeness of Shin's Venn Diagram Proof System. J. Philosophical Logic 35(3): 289-291 (2006)
[c3]
Nathaniel Miller:
Extended Abstract of Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry. Diagrams 2006: 127-129
- 2002
[c2]
Nathaniel Miller:
CDEG: Computerized Diagrammatic Euclidean Geometry. Diagrams 2002: 91-93
- 2000
[c1]
Nathaniel Miller:
Case Analysis in Euclidean Geometry: An Overview. Diagrams 2000: 490-493
data released under the ODC-BY 1.0 license. See also our legal information page