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
Rotations of Vectors Via Geometric Algebraby James A. Smith - viXra
Geometric Algebra (GA) promises to become a universal mathematical language. This document reviews the geometry of angles and circles, then treats rotations in plane geometry before showing how to formulate problems in GA terms, then solve them.
(7218 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.
(13940 views)
A. N. Whitehead's Geometric Algebraby Stephen Blake
This is a text on 3-d Euclidean computational geometry intended to be used in engineering applications. On the other hand, the methods of Whitehead's algebra enable us to readily deal with Euclidean and non-Euclidean spaces of any dimension.
(16643 views)
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.
(10748 views)