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
Mathematical Illustrations: A Manual of Geometry and PostScriptby Bill Casselman - Cambridge University Press
The author gives an introduction to basic features of the PostScript language and shows how to use it for producing mathematical graphics. The book includes the discussion computer graphics and some comments on good style in mathematical illustration.
(24260 views)
Euclid's 'Elements' Reduxby Daniel Callahan - starrhorse.com
Euclid's 'Elements' Redux is an open textbook on mathematical logic and geometry for use in grades 7-12 and in undergraduate college courses on proof writing. It is a new edition of the most successful textbook of all time...
(12898 views)
The First Six Books of the Elements of Euclidby John Casey, Euclid - Longmans, Green, and Co.
This edition of the Elements of Euclid is intended to supply a want much felt by teachers at the present day - the production of a work which, while giving the original in all its integrity, would also contain the modern conceptions and developments.
(15302 views)
The Modern Geometry of the Triangleby William Gallatly - F. Hodgson
The author expresses his expectation, that these novel and interesting theorems some British, but the greater part derived from French and German sources will widen the outlook of our mathematical instructors and lend new vigour to their teaching.
(8903 views)