**Euclid and His Twentieth Century Rivals**

by Nathaniel Miller

2007**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.

Download or read it online for free here:

**Download link**

(950KB, PDF)

## Similar books

**A. N. Whitehead's Geometric Algebra**

by

**Stephen Blake**

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)

**Foundations of geometry for university students and high-school students**

by

**Ruslan Sharipov**-

**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)

**Isometrica: A Geometrical Introduction to Planar Crystallographic Groups**

by

**George Baloglou**

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)

**Coordinate Geometry**

by

**Henry B. Fine, Henry D. Thompson**-

**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)