Geometric tomography deals with the retrieval of information about a geometric object from data concerning its projections (shadows) on planes or cross-sections by planes. It is a geometric relative of computerized tomography, which reconstructs an image from X-rays of a human patient. The subject overlaps with convex geometry and employs many tools from that area, including some formulas from integral geometry. It also has connections to discrete tomography, geometric probing in robotics and to stereology. This comprehensive study provides a rigorous treatment of the subject. Although primarily meant for researchers and graduate students in geometry and tomography, brief introductions, suitable for advanced undergraduates, are provided to the basic concepts. More than 70 illustrations are used to clarify the text. The book also presents 66 unsolved problems. Each chapter ends with extensive notes, historical remarks, and some biographies. This new edition includes numerous updates and improvements, with some 300 new references bringing the total to over 800.

This monograph is devoted to a completely new approach to geometric problems arising in the study of random fields. The groundbreaking material in Part III, for which the background is carefully prepared in Parts I and II, is of both theoretical and practical importance, and striking in the way in which problems arising in geometry and probability are beautifully intertwined.

"Random Fields and Geometry" will be useful for probabilists and statisticians, and for theoretical and applied mathematicians who wish to learn about new relationships between geometry and probability. It will be helpful for graduate students in a classroom setting, or for self-study. Finally, this text will serve as a basic reference for all those interested in the companion volume of the applications of the theory.

We live in a space, we get about in it. We also quantify it, we think of it as having dimensions. Ever since Euclid's ancient geometry, we have thought of bodies occupying parts of this space (including our own bodies), the space of our practical orientations (our 'moving abouts'), as having three dimensions. Bodies have volume specified by measures of length, breadth and height. But how do we know that the space we live in has just these three dimensions? It is theoreti cally possible that some spaces might exist that are not correctly described by Euclidean geometry. After all, there are the non Euclidian geometries, descriptions of spaces not conforming to the axioms and theorems of Euclid's geometry. As one might expect, there is a history of philosophers' attempts to 'prove' that space is three-dimensional. The present volume surveys these attempts from Aristotle, through Leibniz and Kant, to more recent philosophy. As you will learn, the historical theories are rife with terminology, with language, already tainted by the as sumed, but by no means obvious, clarity of terms like 'dimension', 'line', 'point' and others. Prior to that language there are actions, ways of getting around in the world, building things, being interested in things, in the more specific case of dimensionality, cutting things. It is to these actions that we must eventually appeal if we are to understand how science is grounded."

This upper-level undergraduate and beginning graduate textbook primarily covers the theory and application of Newtonian and Lagrangian, but also of Hamiltonian mechanics. In addition, included are elements of continuum mechanics and the accompanying classical field theory, wherein four-vector notation is introduced without explicit reference to special relativity. The author's writing style attempts to ease students through the primary and secondary results, thus building a solid foundation for understanding applications. Numerous examples illustrate the material and often present alternative approaches to the final results.

Topics in Hyperplane Arrangements, Polytopes and Box-Splines brings together many areas of mathematics that focus on methods to compute the number of integral points in suitable families or variable polytopes. The topics introduced expand upon differential and difference equations, approximation theory, cohomology, and module theory. The discussion is divided into five extensive parts; the first of which provides basic material on convex sets, combinatorics, polytopes, Laplace and Fourier transforms, and the language of modules over the Weyl algebra. The following four sections focus on the differentiable case, discrete case, and several applications, e.i., two independent chapters explore the computations of De Rham cohomology for the complement of a hyperplane or toric arrangement. This book, written by two distinguished authors, engages a broad audience by providing a strong foundation in very important areas. This book may be used in a classroom setting as well as a reference for researchers.

This is essentially a book on linear algebra. But the approach is somewhat unusual in that we emphasise throughout the geometric aspect of the subject. The material is suitable for a course on linear algebra for mathe matics majors at North American Universities in their junior or senior year and at British Universities in their second or third year. However, in view of the structure of undergraduate courses in the United States, it is very possible that, at many institutions, the text may be found more suitable at the beginning graduate level. The book has two aims: to provide a basic course in linear algebra up to, and including, modules over a principal ideal domain; and to explain in rigorous language the intuitively familiar concepts of euclidean, affine, and projective geometry and the relations between them. It is increasingly recognised that linear algebra should be approached from a geometric point of VIew. This applies not only to mathematics majors but also to mathematically-oriented natural scientists and engineers."

Based on the latest historical research, Worlds Out of Nothing is the first book to provide a course on the history of geometry in the 19th century. Topics covered in the first part of the book are projective geometry, especially the concept of duality, and non-Euclidean geometry. The book then moves on to the study of the singular points of algebraic curves (Plucker's equations) and their role in resolving a paradox in the theory of duality; to Riemann's work on differential geometry; and to Beltrami's role in successfully establishing non-Euclidean geometry as a rigorous mathematical subject. The final part of the book considers how projective geometry rose to prominence, and looks at Poincare's ideas about non-Euclidean geometry and their physical and philosophical significance.

Three chapters are devoted to writing and assessing work in the history of mathematics, with examples of sample questions in the subject, advice on how to write essays, and comments on what instructors should be looking for."

This book offers a unique opportunity to understand the essence of one of the great thinkers of western civilization. A guided reading of Euclid's Elements leads to a critical discussion and rigorous modern treatment of Euclid's geometry and its more recent descendants, with complete proofs. Topics include the introduction of coordinates, the theory of area, geometrical constructions and finite field extensions, history of the parallel postulate, the various non-Euclidean geometries, and the regular and semi-regular polyhedra. The text is intended for junior- to senior-level mathematics majors. Robin Hartshorne is a professor of mathematics at the University of California at Berkeley, and is the author of Foundations of Projective Geometry (Benjamin, 1967) and Algebraic Geometry (Springer, 1977).

Origami5 continues in the excellent tradition of its four previous incarnations, documenting work presented at an extraordinary series of meetings that explored the connections between origami, mathematics, science, technology, education, and other academic fields.

The fifth such meeting, 5OSME (July 13-17, 2010, Singapore Management University) followed the precedent previous meetings to explore the interdisciplinary connections between origami and the real world. This book begins with a section on origami history, art, and design. It is followed by sections on origami in education and origami science, engineering, and technology, and culminates with a section on origami mathematics-the pairing that inspired the original meeting.

Within this one volume, you will find a broad selection of historical information, artists' descriptions of their processes, various perspectives and approaches to the use of origami in education, mathematical tools for origami design, applications of folding in engineering and technology, as well as original and cutting-edge research on the mathematical underpinnings of origami.

Designed for mathematics majors and other students who intend to teach mathematics at the secondary school level, College Geometry: A Unified Development unifies the three classical geometries within an axiomatic framework. The author develops the axioms to include Euclidean, elliptic, and hyperbolic geometry, showing how geometry has real and far-reaching implications. He approaches every topic as a fresh, new concept and carefully defines and explains geometric principles. The book begins with elementary ideas about points, lines, and distance, gradually introducing more advanced concepts such as congruent triangles and geometric inequalities. At the core of the text, the author simultaneously develops the classical formulas for spherical and hyperbolic geometry within the axiomatic framework. He explains how the trigonometry of the right triangle, including the Pythagorean theorem, is developed for classical non-Euclidean geometries. Previously accessible only to advanced or graduate students, this material is presented at an elementary level. The book also explores other important concepts of modern geometry, including affine transformations and circular inversion. Through clear explanations and numerous examples and problems, this text shows step-by-step how fundamental geometric ideas are connected to advanced geometry. It represents the first step toward future study of Riemannian geometry, Einstein's relativity, and theories of cosmology.

During the past few decades, the gradual merger of Discrete Geometry and the newer discipline of Computational Geometry has provided enormous impetus to mathematicians and computer scientists interested in geometric problems. This volume, which contains 32 papers on a broad range of topics of current interest in the field, is an outgrowth of that synergism. It includes surveys and research articles exploring geometric arrangements, polytopes, packing, covering, discrete convexity, geometric algorithms and their complexity, and the combinatorial complexity of geometric objects, particularly in low dimension. There are points of contact with many applied areas such as mathematical programming, visibility problems, kinetic data structures, and biochemistry, as well as with algebraic topology, geometric probability, real algebraic geometry, and combinatorics.

The 35th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2009) took place at Montpellier (France), June 24-26 2009. About 80 computer scientists from all over the world (Australia, Belgium, Canada, China, Czech Republic, France, Germany, Greece, Israel, Japan, Korea, The Netherlands, Norway, Spain, UK, USA) attended the conference. Since1975,ithastakenplace20timesinGermany,fourtimesinTheNeth- lands, twice in Austria, as well as once in Italy, Slovakia, Switzerland, the Czech Republic, France, Norway, and the UK. The conference aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in computer science, or by extracting new problems from appli- tions. The goal is to present recent research results and to identify and explore directions of future research. The conference is well-balanced with respect to established researchers and young scientists. There were 69 submissions. Each submission was reviewed by at least three, and on average four, Program Committee members. The Committee decided to accept 28 papers. Due to the competition and the limited schedule, some good papers could not be accepted. Theprogramalsoincludedexcellentinvitedtalks:onegivenbyDanielKralon "AlgorithmsforClassesofGraphswithBoundedExpansion," the otherbyDavid Eppsteinon"Graph-TheoreticSolutionstoComputationalGeometryProblems." The proceedings contains two survey papers on these topics.

This is a book on Euclidean geometry that covers the standard material in a completely new way, while also introducing a number of new topics that would be suitable as a junior-senior level undergraduate textbook. The author does not begin in the traditional manner with abstract geometric axioms. Instead, he assumes the real numbers, and begins his treatment by introducing such modern concepts as a metric space, vector space notation, and groups, and thus lays a rigorous basis for geometry while at the same time giving the student tools that will be useful in other courses.

This text gives a basic introduction, and a unified approach, to algebra and geometry. Alan Beardon covers the ideas of complex numbers, scalar and vector products, determinants, linear algebra, group theory, permutation groups, symmetry groups, and various aspects of geometry including groups of isometries, rotations, and spherical geometry. The emphasis is on the interaction among these topics. The text is divided into short sections, with exercises at the end of each section.

What is the best way to divide a 'cake' and allocate the pieces among some finite collection of players? In this book, the cake is a measure space, and each player uses a countably additive, non-atomic probability measure to evaluate the size of the pieces of cake, with different players generally using different measures. The author investigates efficiency properties (is there another partition that would make everyone at least as happy, and would make at least one player happier, than the present partition?) and fairness properties (do all players think that their piece is at least as large as every other player's piece?). He focuses exclusively on abstract existence results rather than algorithms, and on the geometric objects that arise naturally in this context. By examining the shape of these objects and the relationship between them, he demonstrates results concerning the existence of efficient and fair partitions.

This small book, translated into English for the first time, has long been a unique place to find classical results from geometry, such as Pythagoras' theorem, the nine-point circle, Morley's triangle, and many other subjects. In addition, this book contains recent, geometric theorems which have been obtained over the past years. There are 27 independent chapters on a wide range of topics in elementary plane Euclidean geometry, at a level just beyond what is usually taught in a good high school or college geometry course. The selection of topics is intelligent, varied, and stimulating, and the author provides many thought-provoking ideas.

Paul Erdoes was one of the greatest mathematicians of this century, known the world over for his brilliant ideas and stimulating questions. On the date of his 80th birthday a conference was held in his honour at Trinity College, Cambridge. Many leading combinatorialists attended. Their subsequent contributions are collected here. The areas represented range from set theory and geometry, through graph theory, group theory and combinatorial probability, to randomised algorithms and statistical physics. Erdoes himself was able to give a survey of recent progress made on his favourite problems. Consequently this volume, consisting of in-depth studies at the frontier of research, provides a valuable panorama across the breadth of combinatorics as it is today.

Category theory has experienced a resurgence in popularity recently because of new links with topology and mathematical physics. This book provides a clearly written account of higher order category theory and presents operads and multicategories as a natural language for its study. Tom Leinster has included necessary background material and applications as well as appendices containing some of the more technical proofs that might have disrupted the flow of the text.

This volume offers a new English translation, introduction, and detailed commentary on Sefer Meyasher 'Aqov, (The Rectifying of the Curved), a 14th-century Hebrew treatise on the foundation of geometry. The book is a mixture of two genres: philosophical discussion and formal, Euclidean-type geometrical writing. A central issue is the use of motion and superposition in geometry, which is analyzed in depth through dialog with earlier Arab mathematicians. The author, Alfonso, was identified by Gita Gluskina (the editor of the 1983 Russian edition) as Alfonso of Valladolid, the converted Jew Abner of Burgos. Alfonso lived in Castile, rather far from the leading cultural centers of his time, but nonetheless at the crossroad of three cultures. He was raised in the Jewish tradition and like many Sephardic Jewish intellectuals was versed in Greek-Arabic philosophy and science. He also had connections with some Christian nobles and towards the end of his life converted to Christianity. Driven by his ambition to solve the problem of the quadrature of the circle, as well as other open geometrical problems, Alfonso acquired surprisingly wide knowledge and became familiar with several episodes in Greek and Arabic geometry that historians usually consider not to have been known in the West in the fourteenth century. Sefer Meyasher 'Aqov reflects his wide and deep erudition in mathematics and philosophy, and provides new evidence on cultural transmission around the Mediterranean.

This volume covers the proceedings of an international conference held in Oxford in June 2002. In addition to articles arising from the conference, the book also contains the famous as yet unpublished article by Graeme Segal on the Definition of Conformal Field Theories. It is ideal as a view of the current state of the art and will appeal to established researchers as well as to novice graduate students.

Outer billiards is a basic dynamical system defined relative to a convex shape in the plane. B. H. Neumann introduced this system in the 1950s, and J. Moser popularized it as a toy model for celestial mechanics. All along, the so-called Moser-Neumann question has been one of the central problems in the field. This question asks whether or not one can have an outer billiards system with an unbounded orbit. The Moser-Neumann question is an idealized version of the question of whether, because of small disturbances in its orbit, the Earth can break out of its orbit and fly away from the Sun. In "Outer Billiards on Kites," Richard Schwartz presents his affirmative solution to the Moser-Neumann problem. He shows that an outer billiards system can have an unbounded orbit when defined relative to any irrational kite. A kite is a quadrilateral having a diagonal that is a line of bilateral symmetry. The kite is irrational if the other diagonal divides the quadrilateral into two triangles whose areas are not rationally related. In addition to solving the basic problem, Schwartz relates outer billiards on kites to such topics as Diophantine approximation, the modular group, self-similar sets, polytope exchange maps, profinite completions of the integers, and solenoids--connections that together allow for a fairly complete analysis of the dynamical system.

Arising from a summer school course taught by János Kollár, this book develops the modern theory of rational varieties at a level appropriate for graduate study. Kollár's original course has been developed, with his co-authors, into a state-of-the-art treatment of the classification of algebraic varieties. The authors have included numerous exercises with solutions, which help students reach the stage where they can begin to tackle related contemporary research problems.

Many classical results of geometric function theory extend to harmonic mappings, but basic questions remain unresolved. This book is the first comprehensive account of the theory of planar harmonic mappings, treating both the generalizations of univalent analytic functions and the connections with minimal surfaces. It contains background material in complex analysis and a full development of the classical theory of minimal surfaces, including the Weierstrass-Enneper representation. It introduces non-specialists to a beautiful area of complex analysis and geometry.

This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in August/September 2006 as a satellite event of the International Congress of Mathematicians, ICM 2006.

The 13 revised full papers presented were carefully selected from the submissions made due to a call for papers - within the scope of ADG - shortly after the meeting. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics and to other sciences and technologies.

This book describes a striking connection between topology and algebra, namely that 2D topological quantum field theories are equivalent to Frobenius algebras. The precise formulation of the theorem and its proof is given in terms of monoidal categories, and the main purpose of the book is to develop these concepts from an elementary level, and more generally serve as an introduction to categorical viewpoints in mathematics. Rather than just proving the theorem, it is shown how the result fits into a more general pattern concerning universal monoidal categories for algebraic structures. Throughout, the emphasis is on the interplay between algebra and topology, with graphical interpretation of algebraic operations, and topological structures described algebraically in terms of generators and relations. The book will prove valuable to students or researchers entering this field who will learn a host of modern techniques that will prove useful for future work.