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 Surfacesby 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 Algebraby 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 Geometryby 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 Trigonometryby 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)