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

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

(

**11916**views)

**Theory of Symmetry and Ornament**

by

**Slavik V. Jablan**-

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

(

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

(

**14892**views)

**First Principles of Symmetrical Beauty**

by

**David Ramsay Hay**-

**W. Blackwood and sons**

From the table of contents: Nature of the science of aesthetics explained; Plane figures the bases of all forms; The isosceles triangle; Universal application of the composite ellipse in the arts of ornamental design; and more.

(

**14107**views)