Abstract
This extended abstract describes a forthcoming book which should be of interest to those attending the Diagrams 2006 conference and to others generally interested in diagrammatic reasoning in the context of Euclidean Geometry. The book, Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry, is still in preparation, but will be published by CSLI press once it is completed.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Dodgson, C.: Euclid and His Modern Rivals, 2nd edn. MacMillan and Co., London (1885)
Euclid: The Elements (Translated with introduction and commentary by Heath, T.L.), 2nd edn. Dover, New York (1956)
Hilbert, D.: Foundations of Geometry (Translated by Unger, L.), 4th edn. Open Court Publishing Co., La Salle, Ill (1971)
Miller, N.: Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry (working title). CSLI Publications, Stanford (to appear)
Miller, N.: Computational complexity of diagram satisfaction in Euclidean geometry. Journal of Complexity 22, 250–274 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Miller, N. (2006). Extended Abstract of Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry . In: Barker-Plummer, D., Cox, R., Swoboda, N. (eds) Diagrammatic Representation and Inference. Diagrams 2006. Lecture Notes in Computer Science(), vol 4045. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11783183_16
Download citation
DOI: https://doi.org/10.1007/11783183_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35623-3
Online ISBN: 978-3-540-35624-0
eBook Packages: Computer ScienceComputer Science (R0)