Logo

Euclid and His Twentieth Century Rivals

Large book cover: Euclid and His Twentieth Century Rivals

Euclid and His Twentieth Century Rivals
by


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.

Home page url

Download or read it online for free here:
Download link
(950KB, PDF)

Similar books

Book cover: A Modern Course on Curves and SurfacesA Modern Course on Curves and Surfaces
by - 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)
Book cover: A. N. Whitehead's Geometric AlgebraA. N. Whitehead's Geometric Algebra
by
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)
Book cover: Lectures on Discrete and Polyhedral GeometryLectures on Discrete and Polyhedral Geometry
by - 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)
Book cover: Compiled and Solved Problems in Geometry and TrigonometryCompiled and Solved Problems in Geometry and Trigonometry
by - 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)