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
Geometry Formulas and Factsby Silvio Levy - CRC Press
Contents: Coordinate Systems in the Plane; Plane Symmetries or Isometries; Lines; Polygons; Circles; Conics; Special Plane Curves; Coordinate Systems in Space; Space Symmetries or Isometries; Directions, Planes and Lines; Polyhedra; Spheres; etc.
(16129 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.
(9013 views)
Virtual Polyhedra: The Encyclopedia of Polyhedraby George W. Hart
Polyhedra have an enormous aesthetic appeal and the subject is fun and easy. This is a collection of thousands of virtual reality polyhedra for you to explore. There are hundreds here which have never been illustrated in any previous publication.
(17814 views)
Euclid's Elements of Geometryby J.L. Heiberg, R. Fitzpatrick
Euclid's Elements is the most famous mathematical work of classical antiquity, and also has the distinction of being the oldest continuously used mathematical textbook. The main subjects of the work are geometry, proportion, and number theory.
(15599 views)