Euclid and His Twentieth Century Rivals
by Nathaniel Miller
Number of pages: 124
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:
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.
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.
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.
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...