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.
(11254 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.
(13516 views)
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.
(7797 views)
Geometry and Billiardsby Serge Tabachnikov
Mathematical billiards describe the motion of a mass point in a domain with elastic reflections from the boundary. Billiards is not a single mathematical theory, it is rather a mathematician’s playground where various methods are tested.
(18734 views)