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.
(15639 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...
(11191 views)
A Tour of Triangle Geometryby Paul Yiu - Florida Atlantic University
We outline some interesting results with illustrations made by dynamic software. We center around the notions of reflection and isogonal conjugation, and introduce a number of interesting triangle centers, lines, conics, and a few cubic curves.
(11060 views)
Euclid's Elementsby D.E.Joyce
Online edition of Euclid's Elements, one of the most beautiful and influential works of science in the history of humankind. The text of all 13 Books is complete, and all of the figures are illustrated using a Java applet called the Geometry Applet.
(20097 views)