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
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...
(11261 views)
Foundations of geometry for university students and high-school studentsby Ruslan Sharipov - arXiv
This is a textbook for the course of foundations of geometry. It is addressed to mathematics students in Universities and to High School students for deeper learning. It can also be used in mathematics coteries and self-education groups.
(17361 views)
An Elementary Treatise on Conic Sectionsby Charles Smith - The Macmillan Company
In the following work I have investigated the more elementary properties of the Ellipse, Parabola, and Hyperbola, defined with reference to a focus and directrix, before considering the General Equation of the Second Degree...
(11037 views)
Isometrica: A Geometrical Introduction to Planar Crystallographic Groupsby George Baloglou
Planar crystallographic groups are one of the very first mathematical creations of humankind. This book's goal is the gradual unveiling of the structural and the mathematical that hides behind the visual and the artistic.
(15618 views)