Logo

Euclid and His Twentieth Century Rivals

Large book cover: Euclid and His Twentieth Century Rivals

Euclid and His Twentieth Century Rivals
by


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.

Home page url

Download or read it online for free here:
Download link
(950KB, PDF)

Similar books

Book cover: Virtual Polyhedra: The Encyclopedia of PolyhedraVirtual Polyhedra: The Encyclopedia of Polyhedra
by
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.
(11479 views)
Book cover: Lectures on Discrete and Polyhedral GeometryLectures on Discrete and Polyhedral Geometry
by - UCLA
This book is aimed to be an introduction to some of our favorite parts of the subject, covering some familiar and popular topics as well as some old, forgotten, sometimes obscure, and at times very recent and exciting results.
(9640 views)
Book cover: Advanced Geometry for High Schools: Synthetic and AnalyticalAdvanced Geometry for High Schools: Synthetic and Analytical
by - Copp, Clark
Contents: Theorems of Menelaus and Ceva; The Nine-Point Circle; Simpson's Line; Areas op Rectangles; Radical Axis; Medial Section; Miscellaneous Theorems; Similar and Similarly Situated Polygons; Harmonic Ranges and Pencils; etc.
(7169 views)
Book cover: Coordinate GeometryCoordinate Geometry
by - 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.
(13191 views)