Logo

Euclid and His Twentieth Century Rivals

Large book cover: Euclid and His Twentieth Century Rivals

Euclid and His Twentieth Century Rivals
by


Number of pages: 124

Description:
Nathaniel Miller discusses the history of diagrams in Euclidean Geometry, develops a formal system for working with them, and concludes that they can indeed be used rigorously. Miller also introduces a diagrammatic computer proof system, based on this formal system.

Home page url

Download or read it online for free here:
Download link
(950KB, PDF)

Similar books

Book cover: Geometry of Four DimensionsGeometry of Four Dimensions
by - The MacMillan Company
Contents: The Foundations Of Four Dimensional Geometry; Points And Lines; Triangles; Planes; Convex Polygons; Tetrahedrons; Hyperplanes; Convex Pyramids And Pentahedroids; Space Of Four Dimensions; Hyperpyramids And Hypercones; etc.
(10457 views)
Book cover: Euclid's Elements of GeometryEuclid's Elements of Geometry
by
Euclid's Elements is the most famous mathematical work of classical antiquity, and also has the distinction of being the oldest continuously used mathematical textbook. The main subjects of the work are geometry, proportion, and number theory.
(8318 views)
Book cover: Lectures on Discrete and Polyhedral GeometryLectures on Discrete and Polyhedral Geometry
by - UCLA
This book is aimed to be an introduction to some of our favorite parts of the subject, covering some familiar and popular topics as well as some old, forgotten, sometimes obscure, and at times very recent and exciting results.
(10131 views)
Book cover: Theory of Symmetry and OrnamentTheory of Symmetry and Ornament
by - Matematicki Institut
This work is a comparative analysis of the theory of discrete and visually presentable continuous symmetry groups in the plane E2 or in E2\{O}: Symmetry Groups of Rosettes, Friezes and Ornaments, Similarity Symmetry Groups in E2, etc.
(10362 views)