**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 Modern Course on Curves and Surfaces**

by

**Richard S. Palais**-

**virtualmathmuseum.org**

Contents: What is Geometry; Geometry of Inner-Product Spaces; Linear Maps and the Euclidean Group; Adjoints of Linear Maps and the Spectral Theorem; Differential Calculus on Inner-Product Spaces; Normed Spaces and Integration; ODE; and more.

(

**10599**views)

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

(

**12719**views)

**Lectures on Discrete and Polyhedral Geometry**

by

**Igor Pak**-

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

(

**9714**views)

**Compiled and Solved Problems in Geometry and Trigonometry**

by

**Florentin Smarandache**-

**viXra.org**

This book includes 255 problems of 2D and 3D Euclidean geometry plus trigonometry. The degree of difficulties of the problems is from easy and medium to hard. The solutions are at the end of each chapter. The book is especially a didactic material...

(

**5039**views)