The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, followed by fourteen chapters by invited authors. Each chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems. Jointly, these contributions constitute a comprehensive survey of this rapidly expanding subject.

This book is a collection of articles written in memory of Boris Dubrovin (1950-2019). The authors express their admiration for his remarkable personality and for the contributions he made to mathematical physics. For many of the authors, Dubrovin was a friend, colleague, inspiring mentor, and teacher. The contributions to this collection of papers are split into two parts: ``Integrable Systems'' and ``Quantum Theories and Algebraic Geometry'', reflecting the areas of main scientific interests of Dubrovin. Chronologically, these interests may be divided into several parts: integrable systems, integrable systems of hydrodynamic type, WDVV equations (Frobenius manifolds), isomonodromy equations (flat connections), and quantum cohomology. The articles included in the first part are more or less directly devoted to these areas (primarily with the first three listed above). The second part contains articles on quantum theories and algebraic geometry and is less directly connected with Dubrovin's early interests.

The importance of mathematics competitions has been widely recognized for three reasons: they help to develop imaginative capacity and thinking skills whose value far transcends mathematics; they constitute the most effective way of discovering and nurturing mathematical talent; and they provide a means to combat the prevalent false image of mathematics held by high school students, as either a fearsomely difficult or a dull and uncreative subject. This book provides a comprehensive training resource for competitions from local and provincial to national Olympiad level, containing hundreds of diagrams, and graced by many light-hearted cartoons. It features a large collection of what mathematicians call "beautiful" problems - non-routine, provocative, fascinating, and challenging problems, often with elegant solutions. It features careful, systematic exposition of a selection of the most important topics encountered in mathematics competitions, assuming little prior knowledge. Geometry, trigonometry, mathematical induction, inequalities, Diophantine equations, number theory, sequences and series, the binomial theorem, and combinatorics - are all developed in a gentle but lively manner, liberally illustrated with examples, and consistently motivated by attractive "appetiser" problems, whose solution appears after the relevant theory has been expounded.
Each chapter is presented as a "toolchest" of instruments designed for cracking the problems collected at the end of the chapter. Other topics, such as algebra, co-ordinate geometry, functional equations and probability, are introduced and elucidated in the posing and solving of the large collection of miscellaneous problems in thefinal toolchest.
An unusual feature of this book is the attention paid throughout to the history of mathematics - the origins of the ideas, the terminology and some of the problems, and the celebration of mathematics as a multicultural, cooperative human achievement.
As a bonus the aspiring "mathlete" may encounter, in the most enjoyable way possible, many of the topics that form the core of the standard school curriculum.

This book gives senior undergraduate and beginning graduate students and researchers in computer vision, applied mathematics, computer graphics, and robotics a self-contained introduction to the geometry of 3D vision; that is the reconstruction of 3D models of objects from a collection of 2D images. Following a brief introduction, Part I provides background materials for the rest of the book. The two fundamental transformations, namely rigid body motion and perspective projection are introduced and image formation and feature extraction discussed. Part II covers the classic theory of two view geometry based on the so-called epipolar constraint. Part III shows that a more proper tool for studying the geometry of multiple views is the so- called rank considtion on the multiple view matrix. Part IV develops practical reconstruction algorithms step by step as well as discusses possible extensions of the theory. Exercises are provided at the end of each chapter. Software for examples and algorithms are available on the author's website.

Growing transportation costs and tight delivery schedules mean that good located decisions are more crucial than ever in the success or failure of industrial and puplic projects. The development of realistic location models is an essential phase in every locational decision process. Especially when dealing with geometric representations of continuous (planar) location model problems, the goegraphical reality must be incorporated. This text develops the mathematical implications of barriers to the geometrical and analytical characteristics of continuous location problems. Besides their relevance in the application of location theoretic results, location problems with barriers are also very interesting from a mathematical point of view. The nonconvexity of distance measures in the presence of barriers leads to nonconvex optimization problems. Most of the classical methods in continuous location theory rely heaily on the convexity of the objective function and will thus fail in this context. On the other hand, general methods in global optimization capable of treating nonconvex problems ignore the geometric charateristics of the location problems considered. Theoretic as well as algorithmic approaches are utilized to overcome the described difficulties for the solution of location problems with barriers. Depending on the barrier shapes, the underlying distance measure, and type of objective function, different concepts are conceived to handle the nonconvexity of the problem. This book will appeal to those working in operations research and management science and mathematicians interested in optimization theory and its applications.

The Abel Symposium 2008 focused on the modern theory of differential equations and their applications in geometry, mechanics, and mathematical physics. Following the tradition of Monge, Abel and Lie, the scientific program emphasized the role of algebro-geometric methods, which nowadays permeate all mathematical models in natural and engineering sciences. The ideas of invariance and symmetry are of fundamental importance in the geometric approach to differential equations, with a serious impact coming from the area of integrable systems and field theories.

This volume consists of original contributions and broad overview lectures of the participants of the Symposium. The papers in this volume present the modern approach to this classical subject.

This is a collection of essays based on lectures that author has given on various occasions on foundation of quantum theory, symmetries and representation theory, and the quantum theory of the superworld created by physicists. The lectures are linked by a unifying theme: how the quantum world and superworld appear under the lens of symmetry and supersymmetry.

In the world of ultra-small times and distances such as the Planck length and Planck time, physicists believe no measurements are possible and so the structure of spacetime itself is an unkown that has to be first understood. There have been suggestions (Volovich hypothesis) that world geometry at such energy regimes is non-archimedian and some of the lectures explore the consequences of such a hypothesis.

Ultimately, symmetries and supersymmetries are described by the representation of groups and supergroups. The author's interest in representation is a lifelong one and evolved slowly, and owes a great deal to conversations and discussions he had with George Mackey and Harish-Chandra. The book concludes with a retrospective look at these conversations.

Based on a series of lectures for adult students, this lively and entertaining book proves that, far from being a dusty, dull subject, geometry is in fact full of beauty and fascination. The author's infectious enthusiasm is put to use in explaining many of the key concepts in the field, starting with the Golden Number and taking the reader on a geometrical journey via Shapes and Solids, through the Fourth Dimension, finishing up with Einstein's Theories of Relativity.

Equally suitable as a gift for a youngster or as a nostalgic journey back into the world of mathematics for older readers, John Barnes' book is the perfect antidote for anyone whose maths lessons at school are a source of painful memories. Where once geometry was a source of confusion and frustration, Barnes brings enlightenment and entertainment.

In this second edition, stimulated by recent lectures at Oxford, further material and extra illustrations have been added on many topics including Coloured Cubes, Chaos and Crystals.

"

This textbook introduces geometric measure theory through the notion of currents. Currents, continuous linear functionals on spaces of differential forms, are a natural language in which to formulate types of extremal problems arising in geometry, and can be used to study generalized versions of the Plateau problem and related questions in geometric analysis. Motivating key ideas with examples and figures, this book is a comprehensive introduction ideal for both self-study and for use in the classroom. The exposition demands minimal background, is self-contained and accessible, and thus is ideal for both graduate students and researchers.

The main topic of the book is amenable groups, i.e., groups on which there exist invariant finitely additive measures. It was discovered that the existence or non-existence of amenability is responsible for many interesting phenomena such as, e.g., the Banach-Tarski Paradox about breaking a sphere into two spheres of the same radius. Since then, amenability has been actively studied and a number of different approaches resulted in many examples of amenable and non-amenable groups. In the book, the author puts together main approaches to study amenability. A novel feature of the book is that the exposition of the material starts with examples which introduce a method rather than illustrating it. This allows the reader to quickly move on to meaningful material without learning and remembering a lot of additional definitions and preparatory results; those are presented after analyzing the main examples. The techniques that are used for proving amenability in this book are mainly a combination of analytic and probabilistic tools with geometric group theory.

Critical Issues in Mathematics Education presents the significant contributions of Professor Alan Bishop within the mathematics education research community. Six critical issues, each of which have had paramount importance in the development of mathematics education research, are reviewed and include a discussion of current developments in each area.

Teacher decision making, spatial/visualizing geometry, teachers and research, cultural/social aspects of mathematics education, sociopolitical issues, and values serve as the basic issues discussed in this examination of mathematics education over the last fifty years during which Professor Bishop has been active in the field.

A comprehensive discussion of each of these topics is realized by offering the reader a classic research contribution of Professor Bishop s together with commentary and invited chapters from leading experts in the field of mathematics education.

Critical Issues in Mathematics Education will make an invaluable contribution to the ongoing reflection of mathematic education researchers worldwide, but also to policy makers and teacher educators who wish to understand some of the key issues with which mathematics education has been and still is concerned, and the context within which Professor Bishop s key contributions to these research issues were made.

By bringing together various ideas and methods for extracting the slow manifolds, the authors show that it is possible to establish a more macroscopic description in nonequilibrium systems. The book treats slowness as stability. A unifying geometrical viewpoint of the thermodynamics of slow and fast motion enables the development of reduction techniques, both analytical and numerical. Examples considered in the book range from the Boltzmann kinetic equation and hydrodynamics to the Fokker-Planck equations of polymer dynamics and models of chemical kinetics describing oxidation reactions. Special chapters are devoted to model reduction in classical statistical dynamics, natural selection, and exact solutions for slow hydrodynamic manifolds. The book will be a major reference source for both theoretical and applied model reduction. Intended primarily as a postgraduate-level text in nonequilibrium kinetics and model reduction, it will also be valuable to PhD students and researchers in applied mathematics, physics and various fields of engineering.

This is a new edited volume on shape analysis presenting results in shape modeling and computational geometry from the 2013 Association for Women in Mathematics (AWM) symposium held at UCLA's Institute for Pure and Applied Mathematics (IPAM). In-depth discussion of shape modeling techniques is supplemented by full-color illustrations demonstrating the results of workshop-developed shape modeling algorithms. It will be the first volume in Springer's AWM series.

"Pyramid Algorithms" presents a unique approach to understanding, analyzing, and computing the most common polynomial and spline curve and surface schemes used in computer-aided geometric design, employing a dynamic programming method based on recursive pyramids.
The recursive pyramid approach offers the distinct advantage of revealing the entire structure of algorithms, as well as relationships between them, at a glance. This book-the only one built around this approach-is certain to change the way you think about CAGD and the way you perform it, and all it requires is a basic background in calculus and linear algebra, and simple programming skills.
* Written by one of the world's most eminent CAGD researchers
* Designed for use as both a professional reference and a textbook, and addressed to computer scientists, engineers, mathematicians, theoreticians, and students alike
* Includes chapters on Bezier curves and surfaces, B-splines, blossoming, and multi-sided Bezier patches
* Relies on an easily understood notation, and concludes each section with both practical and theoretical exercises that enhance and elaborate upon the discussion in the text
* Foreword by Professor Helmut Pottmann, Vienna University of Technology

When? These are the proceedings of Finite Geometries, the Fourth Isle of Thorns Conference, which took place from Sunday 16 to Friday 21 July, 2000. It was organised by the editors of this volume. The Third Conference in 1990 was published as Advances in Finite Geometries and Designs by Oxford University Press and the Second Conference in 1980 was published as Finite Geometries and Designs by Cambridge University Press. The main speakers were A. R. Calderbank, P. J. Cameron, C. E. Praeger, B. Schmidt, H. Van Maldeghem. There were 64 participants and 42 contributions, all listed at the end of the volume. Conference web site http://www. maths. susx. ac. uk/Staff/JWPH/ Why? This collection of 21 articles describes the latest research and current state of the art in the following inter-linked areas: * combinatorial structures in finite projective and affine spaces, also known as Galois geometries, in which combinatorial objects such as blocking sets, spreads and partial spreads, ovoids, arcs and caps, as well as curves and hypersurfaces, are all of interest; * geometric and algebraic coding theory; * finite groups and incidence geometries, as in polar spaces, gener alized polygons and diagram geometries; * algebraic and geometric design theory, in particular designs which have interesting symmetric properties and difference sets, which play an important role, because of their close connections to both Galois geometry and coding theory.

Benoit Mandelbrot¿s pioneering research in fractal geometry has affected many areas of mathematics, physics, finance and other disciplines. The papers reprinted in this third volume of his Selected Works center on a detailed study of fractional Brownian functions, best known as the mathematical tools behind the celebrated fractal landscapes. Extensive introductory material preceding the reprints incorporates striking new observations and conjectures. This book explores the fractal themes of ¿self-affinity¿ and ¿globality.¿ The ubiquity of ¿wild¿ temporal and spatial variability led Mandelbrot, in the early 1960¿s, to conclude that those phenomena lie beyond the usual statistical techniques and represent a new state of indeterminism. New mathematical tools are needed, and this book contributes to their development.

A fractal drum is a bounded open subset of R. m with a fractal boundary. A difficult problem is to describe the relationship between the shape (geo- metry) of the drum and its sound (its spectrum). In this book, we restrict ourselves to the one-dimensional case of fractal strings, and their higher dimensional analogues, fractal sprays. We develop a theory of complex di- mensions of a fractal string, and we study how these complex dimensions relate the geometry with the spectrum of the fractal string. We refer the reader to [Berrl-2, Lapl-4, LapPol-3, LapMal-2, HeLapl-2] and the ref- erences therein for further physical and mathematical motivations of this work. (Also see, in particular, Sections 7. 1, 10. 3 and 10. 4, along with Ap- pendix B. ) In Chapter 1, we introduce the basic object of our research, fractal strings (see [Lapl-3, LapPol-3, LapMal-2, HeLapl-2]). A 'standard fractal string' is a bounded open subset of the real line. Such a set is a disjoint union of open intervals, the lengths of which form a sequence which we assume to be infinite. Important information about the geometry of . c is contained in its geometric zeta function (c(8) = L lj. j=l 2 Introduction We assume throughout that this function has a suitable meromorphic ex- tension. The central notion of this book, the complex dimensions of a fractal string . c, is defined as the poles of the meromorphic extension of (c.

Elliptic cohomology is an extremely beautiful theory with both geometric and arithmetic aspects. The former is explained by the fact that the theory is a quotient of oriented cobordism localised away from 2, the latter by the fact that the coefficients coincide with a ring of modular forms. The aim of the book is to construct this cohomology theory, and evaluate it on classifying spaces BG of finite groups G. This class of spaces is important, since (using ideas borrowed from Monstrous Moonshine') it is possible to give a bundle-theoretic definition of EU-(BG). Concluding chapters also discuss variants, generalisations and potential applications.

This book presents a unified mathematical treatment of diverse problems in the fields of cognitive systems using Clifford, or geometric, algebra. Geometric algebra provides a rich general mathematical framework for the development of the ideas of multilinear algebra, projective and affine geometry, calculus on manifolds, the representation of Lie groups and Lie algebras, and many other areas of applications. By treating a wide spectrum of problems in a common geometric language, the book offers both new insights and new solutions that should be useful to scientists and engineers working in different but related areas of artificial intelligence. It looks at building intelligence systems through the construction of Perception Action Cycles; critical to this concept is incorporating representation and learning in a flexible geometric system. Each chapter is written in accessible terms accompanied by numerous examples and figures that clarify the application of geometric algebra to problems in geometric computing, image processing, computer vision, robotics, neural computing and engineering. Topics and features: *Introduces a nonspecialist to Clifford, or geometric, algebra and it shows applications in artificial intelligence *Thorough discussion of several tasks of signal and image processing, computer vision, robotics, neurocomputing and engineering using the geometric algebra framework *Features the computing frameworks of the linear model n-dimensional affine plane and the nonlinear model of Euclidean space known as the horosphere, and addresses the relationship of these models to conformal, affine and projective geometries *Applications of geometric algebra to other related areas: aeronautics, mechatronics, graphics engineering, and speech processing *Exercises and hints for the development of future computer software packages for extensive calculations in geometric algebra The book is an essential resource for computer scientists, AI researchers, and electrical engineers and includes computer programs to clarify and demonstrate the importance of geometric computing for cognitive systems and artificial autonomous systems research.

This book is a collection of articles written in memory of Boris Dubrovin (1950-2019). The authors express their admiration for his remarkable personality and for the contributions he made to mathematical physics. For many of the authors, Dubrovin was a friend, colleague, inspiring mentor, and teacher. The contributions to this collection of papers are split into two parts: ``Integrable Systems'' and ``Quantum Theories and Algebraic Geometry'', reflecting the areas of main scientific interests of Dubrovin. Chronologically, these interests may be divided into several parts: integrable systems, integrable systems of hydrodynamic type, WDVV equations (Frobenius manifolds), isomonodromy equations (flat connections), and quantum cohomology. The articles included in the first part are more or less directly devoted to these areas (primarily with the first three listed above). The second part contains articles on quantum theories and algebraic geometry and is less directly connected with Dubrovin's early interests.

"La narraci6n literaria es la evocaci6n de las nostalgias. " ("Literary narration is the evocation of nostalgia. ") G. G. Marquez, interview in Puerta del Sol, VII, 4, 1996. A Personal Prehistory In 1972 I started cooperating with members of the Biodynamics Research Unit at the Mayo Clinic in Rochester, Minnesota, which was under the direction of Earl H. Wood. At that time, their ambitious (and eventually realized) dream was to build the Dynamic Spatial Reconstructor (DSR), a device capable of collecting data regarding the attenuation of X-rays through the human body fast enough for stop-action imaging the full extent of the beating heart inside the thorax. Such a device can be applied to study the dynamic processes of cardiopulmonary physiology, in a manner similar to the application of an ordinary cr (computerized tomography) scanner to observing stationary anatomy. The standard method of displaying the information produced by a cr scanner consists of showing two-dimensional images, corresponding to maps of the X-ray attenuation coefficient in slices through the body. (Since different tissue types attenuate X-rays differently, such maps provide a good visualization of what is in the body in those slices; bone - which attenuates X-rays a lot - appears white, air appears black, tumors typically appear less dark than the surrounding healthy tissue, etc. ) However, it seemed to me that this display mode would not be appropriate for the DSR.

This classic work has been fundamentally revised to take account of recent developments in general topology. The first three chapters remain unchanged except for numerous minor corrections and additional exercises, but chapters IV-VII and the new chapter VIII cover the rapid changes that have occurred since 1968 when the first edition appeared.
The reader will find many new topics in chapters IV-VIII, e.g. theory of Wallmann-Shanin's compactification, realcompact space, various generalizations of paracompactness, generalized metric spaces, Dugundji type extension theory, linearly ordered topological space, theory of cardinal functions, dyadic space, etc., that were, in the author's opinion, mostly special or isolated topics some twenty years ago but now settle down into the mainstream of general topology.