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 Tour of Triangle GeometryA Tour of Triangle Geometry
by - 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.
(6831 views)
Book cover: Foundations of geometry for university students and high-school studentsFoundations of geometry for university students and high-school students
by - arXiv
This is a textbook for the course of foundations of geometry. It is addressed to mathematics students in Universities and to High School students for deeper learning. It can also be used in mathematics coteries and self-education groups.
(14901 views)
Book cover: Euclid's ElementsEuclid's Elements
by
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.
(14881 views)
Book cover: A Course of Pure Geometry: Properties of the Conic SectionsA Course of Pure Geometry: Properties of the Conic Sections
by - Cambridge University Press
The book does not assume any previous knowledge of the Conic Sections, which are here treated on the basis of the definition of them as the curves of projection of a circle. Many of the properties of the Conic Sections are proved quite simply.
(11032 views)