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: A Course of Pure Geometry: Properties of the Conic SectionsA Course of Pure Geometry: Properties of the Conic Sections
by - Cambridge University Press
The book does not assume any previous knowledge of the Conic Sections, which are here treated on the basis of the definition of them as the curves of projection of a circle. Many of the properties of the Conic Sections are proved quite simply.
(9139 views)
Book cover: A. N. Whitehead's Geometric AlgebraA. N. Whitehead's Geometric Algebra
by
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.
(12529 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.
(7086 views)
Book cover: Mathematical Illustrations: A Manual of Geometry and PostScriptMathematical Illustrations: A Manual of Geometry and PostScript
by - Cambridge University Press
The author gives an introduction to basic features of the PostScript language and shows how to use it for producing mathematical graphics. The book includes the discussion computer graphics and some comments on good style in mathematical illustration.
(17537 views)