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
Coordinate Geometryby Henry B. Fine, Henry D. Thompson - The MacMillan Company
Contents: Coordinates; The Straight Line; The Circle; The Parabola; The Ellipse; The Hyperbola; Transformation Of Coordinates; The General Equation Of The Second Degree; Sections Of A Cone; Systems Of Conics; Tangents And Polars Of The Conic; etc.
(26045 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.
(11830 views)
Theory of Symmetry and Ornamentby Slavik V. Jablan - Matematicki Institut
This work is a comparative analysis of the theory of discrete and visually presentable continuous symmetry groups in the plane E2 or in E2\{O}: Symmetry Groups of Rosettes, Friezes and Ornaments, Similarity Symmetry Groups in E2, etc.
(15255 views)
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.
(16285 views)