Foundations of Geometry
Curved Spaces: From Classical Geometries to Elementary Differential Geometry
Curved Spaces
From Classical Geometries to Elementary Differential Geometry
1st Edition    Paperback      ISBN: 0521713900

This self-contained 2007 textbook presents an exposition of the well-known classical two-dimensional geometries, such as Euclidean, spherical, hyperbolic, and the locally Euclidean torus, and introduces the basic concepts of Euler numbers for topological triangulations, and Riemannian metrics. The careful discussion of these classical examples provides students with an introduction to the more general theory of curved spaces developed later in the book, as represented by embedded surfaces in Euclidean 3-space, and their generalization to abstract surfaces equipped with Riemannian metrics. Themes running throughout include those of geodesic curves, polygonal approximations to triangulations, Gaussian curvature, and the link to topology provided by the Gauss-Bonnet theorem. Numerous diagrams help bring the key points to life and helpful examples and exercises are included to aid understanding. Throughout the emphasis is placed on explicit proofs, making this text ideal for any student with a basic background in analysis and algebra.

Curved Spaces: From Classical Geometries to Elementary Differential Geometry
Curved Spaces
From Classical Geometries to Elementary Differential Geometry
1st Edition    Hardcover      ISBN: 0521886295

This self-contained 2007 textbook presents an exposition of the well-known classical two-dimensional geometries, such as Euclidean, spherical, hyperbolic, and the locally Euclidean torus, and introduces the basic concepts of Euler numbers for topological triangulations, and Riemannian metrics. The careful discussion of these classical examples provides students with an introduction to the more general theory of curved spaces developed later in the book, as represented by embedded surfaces in Euclidean 3-space, and their generalization to abstract surfaces equipped with Riemannian metrics. Themes running throughout include those of geodesic curves, polygonal approximations to triangulations, Gaussian curvature, and the link to topology provided by the Gauss-Bonnet theorem. Numerous diagrams help bring the key points to life and helpful examples and exercises are included to aid understanding. Throughout the emphasis is placed on explicit proofs, making this text ideal for any student with a basic background in analysis and algebra.

Euclid's Window: The Story of Geometry from Parallel Lines to Hyperspace
Euclid's Window
The Story of Geometry from Parallel Lines to Hyperspace
Paperback      ISBN: 0684865246

Through Euclid's Window Leonard Mlodinow brilliantly and delightfully leads us on a journey through five revolutions in geometry, from the Greek concept of parallel lines to the latest notions of hyperspace. Here is an altogether new, refreshing, alternative history of math revealing how simple questions anyone might ask about space -- in the living room or in some other galaxy -- have been the hidden engine of the highest achievements in science and technology.
Based on Mlodinow's extensive historical research; his studies alongside colleagues such as Richard Feynman and Kip Thorne; and interviews with leading physicists and mathematicians such as Murray Gell-Mann, Edward Witten, and Brian Greene, Euclid's Window is an extraordinary blend of rigorous, authoritative investigation and accessible, good-humored storytelling that makes a stunningly original argument asserting the primacy of geometry. For those who have looked through Euclid's Window, no space, no thing, and no time will ever be quite the same

The Foundations of Geometry and the Non-Euclidean Plane
The Foundations of Geometry and the Non-Euclidean Plane
Hardcover      ISBN: 0387906940

This book is a text for junior, senior, or first-year graduate courses traditionally titled Foundations of Geometry and/or Non- Euclidean Geometry. The first 29 chapters are for a semester or year course on the foundations of geometry. The remaining chap- ters may then be used for either a regular course or independent study courses. Another possibility, which is also especially suited for in-service teachers of high school geometry, is to survey the the fundamentals of absolute geometry (Chapters 1 -20) very quickly and begin earnest study with the theory of parallels and isometries (Chapters 21 -30). The text is self-contained, except that the elementary calculus is assumed for some parts of the material on advanced hyperbolic geometry (Chapters 31 -34). There are over 650 exercises, 30 of which are 10-part true-or-false questions. A rigorous ruler-and-protractor axiomatic development of the Euclidean and hyperbolic planes, including the classification of the isometries of these planes, is balanced by the discussion about this development. Models, such as Taxicab Geometry, are used exten- sively to illustrate theory. Historical aspects and alternatives to the selected axioms are prominent. The classical axiom systems of Euclid and Hilbert are discussed, as are axiom systems for three- and four-dimensional absolute geometry and Pieri's system based on rigid motions. The text is divided into three parts. The Introduction (Chapters 1 -4) is to be read as quickly as possible and then used for ref- erence if necessary.

Mathematics Mechanization and Applications
Mathematics Mechanization and Applications
Hardcover      ISBN: 0127347607
Mathematics Mechanization and Applications provides a uniform presentation of major developments, carried out mostly in Wu's extended Chinese group, on algorithms and software tools for mechanizing algebraic equations solving and geometric theorem proving together with their applications to problems in science and engineering. It is distinguished by its uniform presentation with all-Chinese contributors and a 40-page list of references. There are 20 chapters written by experienced researchers. The book is divided into four parts: polynomial system solving, automated geometric reasoning, algebraic computation, and implementations and applications. Each chapter is devoted to surveying and expounding the main results achieved from one selected subject. The book contains surveys for diverse applications of the theories and methods to real world problems, ranging from the analysis of robotics and mechanisms to nonlinear programming and chemical equilibrium computation. Part of the theoretical and practical work reviewed in the book has been either unpublished or published only in Chinese journals or even only in the Chinese language. This book therefore provides Western readers working in symbolic and algebraic computation, geometric reasoning and modeling, algorithmic mathematics, robotics, CAGD, and other relevant areas with an easily accessible source of references for what the Chinese researchers have been doing under the banner of mathematics mechanization.