Nathaniel Miller

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2000
Publication period end
2006
Number of co-authors
0

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Miller, Nathaniel (2006): Extended Abstract of Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euc. In: Barker-Plummer, Dave, Cox, Richard, Swoboda, Nik (eds.) Diagrams 2006 - Diagrammatic Representation and Inference - 4th International Conference June 28-30, 2006, Stanford, CA, USA. pp. 127-129. http://dx.doi.org/10.1007/11783183_16

Miller, Nathaniel (2002): CDEG: Computerized Diagrammatic Euclidean Geometry. In: Hegarty, Mary, Meyer, Bernd, Narayanan, N. Hari (eds.) Diagrams 2002 - Diagrammatic Representation and Inference - Second International Conference April 18-20, 2002, Callaway Gardens, GA, USA. pp. 91-93. http://link.springer.de/link/service/series/0558/bibs/2317/23170091.htm

Miller, Nathaniel (2000): Case Analysis in Euclidean Geometry: An Overview. In: Anderson, Michael, Cheng, Peter C-H., Haarslev, Volker (eds.) Diagrams 2000 - Theory and Application of Diagrams - First International Conference September 1-3, 2000, Edinburgh, Scotland, UK. pp. 490-493. http://link.springer.de/link/service/series/0558/bibs/1889/18890490.htm