Foundations of Geometry
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
The history of geometry in relation to "space" discusses the contributions of Pythagoras, the advent of Albert Einstein's "fourth dimension," and the discovery of seven more dimensions by Princeton mathematician Edward Witten.
Philosophical Geometry
Philosophical Geometry
Paperback      ISBN: 0892811161
Ancient Egyptians and Greeks (up to Euclid) saw in plane geometry much more than land-surveying. For the Greeks, Gaia or Ge (from which our word “geometry
Aristotle on God's Life-Generating Power and on Pneuma as Its Vehicle
Aristotle on God's Life-Generating Power and on Pneuma as Its Vehicle
Hardcover      ISBN: 1438468296
Proposes an innovative rethinking of Aristotle

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 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 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.
Foundations of Geometry and the Non-Euclidean Plane
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
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. * Addresses the frontiers of research with original ideas and results * Includes sophisticated, successful applications to scientific and engineering problems * Covers polynomial system solving, geometric reasoning, computer algebra, and mathematical software * Is comprehensive and focused * Contains an extensive bibliography--of high reference value--particularly for western readers