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
Researches on Curves of the Second Orderby George Whitehead Hearn - Project Gutenberg
Researches on curves of the second order are given in this book, also on cones and spherical conics treated analytically, in which the tangencies of Apollonius are investigated, and general geometrical constructions deduced from analysis.
(10721 views)
The Pythagorean Theorem: Crown Jewel of Mathematicsby John C. Sparks - AuthorHouse
The book chronologically traces the Pythagorean theorem from the beginning, through 4000 years of Pythagorean proofs. The text presents some classic puzzles, amusements, and applications. An epilogue summarizes the importance of the theorem.
(18713 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.
(8714 views)
Practical Plane and Solid Geometry for Advanced Studentsby J. Harrison, G.A. Baxandall - Macmillan
This book is written for Science students. The necessity of accurate draughtsmanship is insisted on throughout. We describe how the drawing instruments may be set and maintained. And the numerical answers are appended to many of the examples.
(8289 views)