Now available from Waveland Press, the Third Edition of Roads to Geometry is appropriate for several kinds of students. Pre-service teachers of geometry are provided with a thorough yet accessible treatment of plane geometry in a historical context. Mathematics majors will find its axiomatic development sufficiently rigorous to provide a foundation for further study in the areas of Euclidean and non-Euclidean geometry. By using the SMSG postulate set as a basis for the development of plane geometry, the authors avoid the pitfalls of many “foundations of geometry” texts that encumber the reader with such a detailed development of preliminary results that many other substantive and elegant results are inaccessible in a one-semester course. At the end of each section is an ample collection of exercises of varying difficulty that provides problems that both extend and clarify results of that section, as well as problems that apply those results. At the end of chapters 3–7, a summary list of the new definitions and theorems of each chapter is included.

This new book clarifies, extends, and unifies concepts discussed in basic high school geometry courses. It gives readers a comprehensive introduction to plane geometry in a historical context. Chapter topics include axiomatic systems, axiom sets for geometry, neutral geometry, Euclidean geometry of the plane, analytic and transformational geometry, non-Euclidean geometries, and projective geometry. For anyone in need of a refresher course in geometry.

Winner of a CHOICE Outstanding Academic Title Award for 2011!This book offers an introduction to modern ideas about infinity and their implications for mathematics. It unifies ideas from set theory and mathematical logic, and traces their effects on mainstream mathematical topics of today, such as number theory and combinatorics. The treatment is h

"It would be hard to imagine a better guide to this difficult subject." -- Scientific American In Three Roads to Quantum Gravity, Lee Smolin provides an accessible overview of the attempts to build a final "theory of everything." He explains in simple terms what scientists are talking about when they say the world is made from exotic entities such as loops, strings, and black holes and tells the fascinating stories behind these discoveries: the rivalries, epiphanies, and intrigues he witnessed firsthand. "Provocative, original, and unsettling." -- The New York Review of Books "An excellent writer, a creative thinker." -- Nature

This book reports recent major advances in automated reasoning in geometry. The authors have developed a method and implemented a computer program which, for the first time, produces short and readable proofs for hundreds of geometry theorems.The book begins with chapters introducing the method at an elementary level, which are accessible to high school students; latter chapters concentrate on the main theme: the algorithms and computer implementation of the method.This book brings researchers in artificial intelligence, computer science and mathematics to a new research frontier of automated geometry reasoning. In addition, it can be used as a supplementary geometry textbook for students, teachers and geometers. By presenting a systematic way of proving geometry theorems, it makes the learning and teaching of geometry easier and may change the way of geometry education.

A basic problem in computer vision is to understand the structure of a real world scene given several images of it. Techniques for solving this problem are taken from projective geometry and photogrammetry. Here, the authors cover the geometric principles and their algebraic representation in terms of camera projection matrices, the fundamental matrix and the trifocal tensor. The theory and methods of computation of these entities are discussed with real examples, as is their use in the reconstruction of scenes from multiple images. The new edition features an extended introduction covering the key ideas in the book (which itself has been updated with additional examples and appendices) and significant new results which have appeared since the first edition. Comprehensive background material is provided, so readers familiar with linear algebra and basic numerical methods can understand the projective geometry and estimation algorithms presented, and implement the algorithms directly from the book.

**WINNER OF THE 2020 NOBEL PRIZE IN PHYSICS** The Road to Reality is the most important and ambitious work of science for a generation. It provides nothing less than a comprehensive account of the physical universe and the essentials of its underlying mathematical theory. It assumes no particular specialist knowledge on the part of the reader, so that, for example, the early chapters give us the vital mathematical background to the physical theories explored later in the book. Roger Penrose's purpose is to describe as clearly as possible our present understanding of the universe and to convey a feeling for its deep beauty and philosophical implications, as well as its intricate logical interconnections. The Road to Reality is rarely less than challenging, but the book is leavened by vivid descriptive passages, as well as hundreds of hand-drawn diagrams. In a single work of colossal scope one of the world's greatest scientists has given us a complete and unrivalled guide to the glories of the universe that we all inhabit. 'Roger Penrose is the most important physicist to work in relativity theory except for Einstein. He is one of the very few people I've met in my life who, without reservation, I call a genius' Lee Smolin

In this clear-eyed, candid, and ultimately reassuring

A Course in Modern Geometries is designed for a junior-senior level course for mathematics majors, including those who plan to teach in secondary school. Chapter 1 presents several finite geometries in an axiomatic framework. Chapter 2 introduces Euclid's geometry and the basic ideas of non-Euclidean geometry. The synthetic approach of Chapters 1 - 2 is followed by the analytic treatment of transformations of the Euclidean plane in Chapter 3. Chapter 4 presents plane projective geometry both synthetically and analytically. The extensive use of matrix representations of groups of transformations in Chapters 3 - 4 reinforces ideas from linear algebra and serves as excellent preparation for a course in abstract algebra. Each chapter includes a list of suggested sources for applications and/or related topics.