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: A. N. Whitehead's Geometric AlgebraA. N. Whitehead's Geometric Algebra
by
This is a text on 3-d Euclidean computational geometry intended to be used in engineering applications. On the other hand, the methods of Whitehead's algebra enable us to readily deal with Euclidean and non-Euclidean spaces of any dimension.
(16900 views)
Book cover: Foundations of geometry for university students and high-school studentsFoundations of geometry for university students and high-school students
by - arXiv
This is a textbook for the course of foundations of geometry. It is addressed to mathematics students in Universities and to High School students for deeper learning. It can also be used in mathematics coteries and self-education groups.
(17012 views)
Book cover: Isometrica: A Geometrical Introduction to Planar Crystallographic GroupsIsometrica: A Geometrical Introduction to Planar Crystallographic Groups
by
Planar crystallographic groups are one of the very first mathematical creations of humankind. This book's goal is the gradual unveiling of the structural and the mathematical that hides behind the visual and the artistic.
(15389 views)
Book cover: Coordinate GeometryCoordinate Geometry
by - The MacMillan Company
Contents: Coordinates; The Straight Line; The Circle; The Parabola; The Ellipse; The Hyperbola; Transformation Of Coordinates; The General Equation Of The Second Degree; Sections Of A Cone; Systems Of Conics; Tangents And Polars Of The Conic; etc.
(22277 views)