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

**Famous Problems of Elementary Geometry**

by

**Felix Klein**-

**Ginn and Co.**

Professor Pelix Klein presented in this book a discussion of the three famous geometric problems of antiquity -- the duplication of the cube, the trisection of an angle, and the quadrature of the circle, as viewed in the light of modern research.

(

**5357**views)

**Conic Sections Treated Geometrically**

by

**W. H. Besant**-

**George Bell and Sons**

In the present Treatise the Conic Sections are defined with reference to a focus and directrix, and I have endeavoured to place before the student the most important properties of those curves, deduced, as closely as possible, from the definition.

(

**12443**views)

**Euclid's Elements of Geometry**

by

**J.L. Heiberg, R. Fitzpatrick**

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.

(

**9200**views)

**The Pythagorean Theorem: Crown Jewel of Mathematics**

by

**John C. Sparks**-

**AuthorHouse**

The book chronologically traces the Pythagorean theorem from the beginning, through 4000 years of Pythagorean proofs. The text presents some classic puzzles, amusements, and applications. An epilogue summarizes the importance of the theorem.

(

**15610**views)