This book contains the proceedings of the workshop Uncertainty in Geomet ric Computations that was held in Sheffield, England, July 5-6, 2001. A total of 59 delegates from 5 countries in Europe, North America and Asia attended the workshop. The workshop provided a forum for the discussion of com putational methods for quantifying, representing and assessing the effects of uncertainty in geometric computations. It was organised around lectures by invited speakers, and presentations in poster form from participants. Computer simulations and modelling are used frequently in science and engi neering, in applications ranging from the understanding of natural and artificial phenomena, to the design, test and manufacturing stages of production. This widespread use necessarily implies that detailed knowledge of the limitations of computer simulations is required. In particular, the usefulness of a computer simulation is directly dependent on the user's knowledge of the uncertainty in the simulation. Although an understanding of the phenomena being modelled is an important requirement of a good computer simulation, the model will be plagued by deficiencies if the errors and uncertainties in it are not consid ered when the results are analysed. The applications of computer modelling are large and diverse, but the workshop focussed on the management of un certainty in three areas : Geometric modelling, computer vision, and computer graphics.

Along with many small improvements, this revised edition contains van Yzeren's new proof of Pascal's theorem (1.7) and, in Chapter 2, an improved treatment of order and sense. The Sylvester-Gallai theorem, instead of being introduced as a curiosity, is now used as an essential step in the theory of harmonic separation (3.34). This makes the logi cal development self-contained: the footnotes involving the References (pp. 214-216) are for comparison with earlier treatments, and to give credit where it is due, not to fill gaps in the argument. H.S.M.C. November 1992 v Preface to the Second Edition Why should one study the real plane? To this question, put by those who advocate the complex plane, or geometry over a general field, I would reply that the real plane is an easy first step. Most of the prop erties are closely analogous, and the real field has the advantage of intuitive accessibility. Moreover, real geometry is exactly what is needed for the projective approach to non-Euclidean geometry. Instead of introducing the affine and Euclidean metrics as in Chapters 8 and 9, we could just as well take the locus of 'points at infinity' to be a conic, or replace the absolute involution by an absolute polarity.

From the reviews: "This book offers a coherent treatment, at the graduate textbook level, of the field that has come to be known in the last decade or so as computational geometry. ... ... The book is well organized and lucidly written; a timely contribution by two founders of the field. It clearly demonstrates that computational geometry in the plane is now a fairly well-understood branch of computer science and mathematics. It also points the way to the solution of the more challenging problems in dimensions higher than two." #Mathematical Reviews#1 "... This remarkable book is a comprehensive and systematic study on research results obtained especially in the last ten years. The very clear presentation concentrates on basic ideas, fundamental combinatorial structures, and crucial algorithmic techniques. The plenty of results is clever organized following these guidelines and within the framework of some detailed case studies. A large number of figures and examples also aid the understanding of the material. Therefore, it can be highly recommended as an early graduate text but it should prove also to be essential to researchers and professionals in applied fields of computer-aided design, computer graphics, and robotics." #Biometrical Journal#2

This is the first exposition of the quantization theory of singular symplectic (Marsden-Weinstein) quotients and their applications to physics. The reader will acquire an introduction to the various techniques used in this area, as well as an overview of the latest research approaches. These involve classical differential and algebraic geometry, as well as operator algebras and noncommutative geometry. Thus one will be amply prepared to follow future developments in this field.

Incorporated in this volume are the first two books in Mukai's series on Moduli Theory. The notion of a moduli space is central to geometry. However, its influence is not confined there; for example, the theory of moduli spaces is a crucial ingredient in the proof of Fermat's last theorem. Researchers and graduate students working in areas ranging from Donaldson or Seiberg-Witten invariants to more concrete problems such as vector bundles on curves will find this to be a valuable resource. Among other things this volume includes an improved presentation of the classical foundations of invariant theory that, in addition to geometers, would be useful to those studying representation theory. This translation gives an accurate account of Mukai's influential Japanese texts.

Mixing may be thought of as the operation by which a system evolves from one state of simplicity (initial segregation) to another state of simplicity (complete uniformity). Between these two extremes, complex patterns emerge and die. Questions naturally arise- how can the geometry of complex patterns be characterised, what is the time scale of the process, what structures are involved in the flow? This volume, comprising the proceedings of the NATO ASI on Mixing, attempts to address these questions from the approaches of geometry, kinetics and structure. The ASI which brought together diverse communities with a common interest in the problem of mixing, now provides us with a comprehensive work on the problem of mixing.

Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as logically vague. In A Combination of Geometry Theorem Proving and Nonstandard Analysis, Jacques Fleuriot presents a formalization of Lemmas and Propositions from the Principia using a combination of methods from geometry and nonstandard analysis. The mechanization of the procedures, which respects much of Newton's original reasoning, is developed within the theorem prover Isabelle. The application of this framework to the mechanization of elementary real analysis using nonstandard techniques is also discussed.

Systems with sub-processes evolving on many different time scales are ubiquitous in applications: chemical reactions, electro-optical and neuro-biological systems, to name just a few. This volume contains papers that expose the state of the art in mathematical techniques for analyzing such systems. Recently developed geometric ideas are highlighted in this work that includes a theory of relaxation-oscillation phenomena in higher dimensional phase spaces. Subtle exponentially small effects result from singular perturbations implicit in certain multiple time scale systems. Their role in the slow motion of fronts, bifurcations, and jumping between invariant tori are all explored here. Neurobiology has played a particularly stimulating role in the development of these techniques and one paper is directed specifically at applying geometric singular perturbation theory to reveal the synchrony in networks of neural oscillators.

In his "Geometrie" of 1637 Descartes achieved a monumental innovation of mathematical techniques by introducing what is now called analytic geometry. Yet the key question of the book was foundational rather than technical: When are geometrical objects known with such clarity and distinctness as befits the exact science of geometry? Classically, the answer was sought in procedures of geometrical construction, in particular by ruler and compass, but the introduction of new algebraic techniques made these procedures insufficient. In this detailed study, spanning essentially the period from the first printed edition of Pappus' "Collection" (1588, in Latin translation) and Descartes' death in 1650, Bos explores the current ideas about construction and geometrical exactness, noting that by the time Descartes entered the field the incursion of algebraic techniques, combined with an increasing uncertainty about the proper means of geometrical problem solving, had produced a certain impasse. He then analyses how Descartes transformed geometry by a redefinition of exactness and by a demarcation of geometry's proper subject and procedures in such a way as to incorporate the use of algebraic methods without destroying the true nature of geometry. Although mathematicians later essentially discarded Descartes' methodological convictions, his influence was profound and pervasive. Bos' insistence on the foundational aspects of the "Geometrie" provides new insights both in the genesis of Descartes' masterpiece and in its significance for the development of the conceptions of mathematical exactness.

This book has a fundamental relationship to the International Seminar on Fuzzy Set Theory held each September in Linz, Austria. First, this volume is an extended account of the eleventh Seminar of 1989. Second, and more importantly, it is the culmination of the tradition of the preceding ten Seminars. The purpose of the Linz Seminar, since its inception, was and is to foster the development of the mathematical aspects of fuzzy sets. In the earlier years, this was accomplished by bringing together for a week small grou ps of mathematicians in various fields in an intimate, focused environment which promoted much informal, critical discussion in addition to formal presentations. Beginning with the tenth Seminar, the intimate setting was retained, but each Seminar narrowed in theme; and participation was broadened to include both younger scholars within, and established mathematicians outside, the mathematical mainstream of fuzzy sets theory. Most of the material of this book was developed over the years in close association with the Seminar or influenced by what transpired at Linz. For much of the content, it played a crucial role in either stimulating this material or in providing feedback and the necessary screening of ideas. Thus we may fairly say that the book, and the eleventh Seminar to which it is directly related, are in many respects a culmination of the previous Seminars.

The Russian edition of this book appeared in 1976 on the hundred-and-fiftieth anniversary of the historic day of February 23, 1826, when LobaeevskiI delivered his famous lecture on his discovery of non-Euclidean geometry. The importance of the discovery of non-Euclidean geometry goes far beyond the limits of geometry itself. It is safe to say that it was a turning point in the history of all mathematics. The scientific revolution of the seventeenth century marked the transition from "mathematics of constant magnitudes" to "mathematics of variable magnitudes. " During the seventies of the last century there occurred another scientific revolution. By that time mathematicians had become familiar with the ideas of non-Euclidean geometry and the algebraic ideas of group and field (all of which appeared at about the same time), and the (later) ideas of set theory. This gave rise to many geometries in addition to the Euclidean geometry previously regarded as the only conceivable possibility, to the arithmetics and algebras of many groups and fields in addition to the arith metic and algebra of real and complex numbers, and, finally, to new mathe matical systems, i. e. , sets furnished with various structures having no classical analogues. Thus in the 1870's there began a new mathematical era usually called, until the middle of the twentieth century, the era of modern mathe matics.

Geometric constructions have been a popular part of mathematics throughout history. The ancient Greeks made the subject an art, which was enriched by the medieval Arabs but which required the algebra of the Renaissance for a thorough understanding. Through coordinate geometry, various geometric construction tools can be associated with various fields of real numbers. This book is about these associations. As specified by Plato, the game is played with a ruler and compass. The first chapter is informal and starts from scratch, introducing all the geometric constructions from high school that have been forgotten or were never seen. The second chapter formalizes Plato's game and examines problems from antiquity such as the impossibility of trisecting an arbitrary angle. After that, variations on Plato's theme are explored: using only a ruler, using only a compass, using toothpicks, using a ruler and dividers, using a marked rule, using a tomahawk, and ending with a chapter on geometric constructions by paperfolding. The author writes in a charming style and nicely intersperses history and philosophy within the mathematics. He hopes that readers will learn a little geometry and a little algebra while enjoying the effort. This is as much an algebra book as it is a geometry book. Since all the algebra and all the geometry that are needed is developed within the text, very little mathematical background is required to read this book. This text has been class tested for several semesters with a master's level class for secondary teachers.

most polynomial growth on every half-space Re (z)::::: c. Moreover, Op(t) depends holomorphically on t for Re t > O. General references for much of the material on the derivation of spectral functions, asymptotic expansions and analytic properties of spectral functions are A-P-S] and Sh], especially Chapter 2. To study the spectral functions and their relation to the geometry and topology of X, one could, for example, take the natural associated parabolic problem as a starting point. That is, consider the 'heat equation' (%t + p) u(x, t) = 0 { u(x, O) = Uo(x), tP which is solved by means of the (heat) semi group V(t) = e-; namely, u(., t) = V(t)uoU. Assuming that V(t) is of trace class (which is guaranteed, for instance, if P has a positive principal symbol), it has a Schwartz kernel K E COO(X x X x Rt, E* (r)E), locally given by 00 K(x, y; t) = L>-IAk( k (r) 'Pk)(X, y), k=O for a complete set of orthonormal eigensections 'Pk E COO(E). Taking the trace, we then obtain: 00 tA Op(t) = trace(V(t)) = 2:: >- k. k=O Now, using, e. g., the Dunford calculus formula (where C is a suitable curve around a(P)) as a starting point and the standard for malism of pseudodifferential operators, one easily derives asymptotic expansions for the spectral functions, in this case for Op."

Mikhail Gromov introduced pseudo-holomorphic curves into symplectic geometry in 1985. Since then, pseudo-holomorphic curves have taken on great importance in many fields. The aim of this book is to present the original proof of Gromov's compactness theorem for pseudo-holomorphic curves in detail. Local properties of pseudo-holomorphic curves are investigated and proved from a geometric viewpoint. Properties of particular interest are isoperimetric inequalities, a monotonicity formula, gradient bounds and the removal of singularities. A special chapter is devoted to relevant features of hyperbolic surfaces, where pairs of pants decomposition and thickthin decomposition are described. The book is essentially self-contained and should also be accessible to students with a basic knowledge of differentiable manifolds and covering spaces.

Inequalities continue to play an essential role in mathematics. The subject is per haps the last field that is comprehended and used by mathematicians working in all the areas of the discipline of mathematics. Since the seminal work Inequalities (1934) of Hardy, Littlewood and P6lya mathematicians have laboured to extend and sharpen the earlier classical inequalities. New inequalities are discovered ev ery year, some for their intrinsic interest whilst others flow from results obtained in various branches of mathematics. So extensive are these developments that a new mathematical periodical devoted exclusively to inequalities will soon appear; this is the Journal of Inequalities and Applications, to be edited by R. P. Agar wal. Nowadays it is difficult to follow all these developments and because of lack of communication between different groups of specialists many results are often rediscovered several times. Surveys of the present state of the art are therefore in dispensable not only to mathematicians but to the scientific community at large. The study of inequalities reflects the many and various aspects of mathemat ics. There is on the one hand the systematic search for the basic principles and the study of inequalities for their own sake. On the other hand the subject is a source of ingenious ideas and methods that give rise to seemingly elementary but nevertheless serious and challenging problems. There are many applications in a wide variety of fields from mathematical physics to biology and economics."

This book constitutes the thoroughly refereed proceedings of the 38th International Workshop on Graph Theoretic Concepts in Computer Science (WG 2012) held in Jerusalem, Israel on June 26-28, 2012. The 29 revised full papers presented were carefully selected and reviewed from 78 submissions. The papers are solicited describing original results on all aspects of graph-theoretic concepts in Computer Science, e.g. structural graph theory, sequential, parallel, randomized, parameterized, and distributed graph and network algorithms and their complexity, graph grammars and graph rewriting systems, graph-based modeling, graph-drawing and layout, random graphs, diagram methods, and support of these concepts by suitable implementations. The scope of WG includes all applications of graph-theoretic concepts in Computer Science, including data structures, data bases, programming languages, computational geometry, tools for software construction, communications, computing on the web, models of the web and scale-free networks, mobile computing, concurrency, computer architectures, VLSI, artificial intelligence, graphics, CAD, operations research, and pattern recognition

This self-contained book offers a new and direct approach to the theories of special functions with emphasis on spherical symmetry in Euclidean spaces of arbitrary dimensions. Based on many years of lecturing to mathematicians, physicists and engineers in scientific research institutions in Europe and the USA, the author uses elementary concepts to present the spherical harmonics in a theory of invariants of the orthogonal group. One of the highlights is the extension of the classical results of the spherical harmonics into the complex - particularly important for the complexification of the Funk-Hecke formula which successfully leads to new integrals for Bessel- and Hankel functions with many applications of Fourier integrals and Radon transforms. Numerous exercises stimulate mathematical ingenuity and bridge the gap between well-known elementary results and their appearance in the new formations.

A relaxed and informal presentation conveying the joy of mathematical discovery and insight. Frequent questions lead readers to see mathematics as an accessible world of thought, where understanding can turn opaque formulae into beautiful and meaningful ideas. The text presents eight topics that illustrate the unity of mathematical thought as well as the diversity of mathematical ideas. Drawn from both "pure" and "applied" mathematics, they include: spirals in nature and in mathematics; the modern topic of fractals and the ancient topic of Fibonacci numbers; Pascals Triangle and paper folding; modular arithmetic and the arithmetic of the infinite. The final chapter presents some ideas about how mathematics should be done, and hence, how it should be taught. Presenting many recent discoveries that lead to interesting open questions, the book can serve as the main text in courses dealing with contemporary mathematical topics or as enrichment for other courses. It can also be read with pleasure by anyone interested in the intellectually intriguing aspects of mathematics.

This book focuses on the elementary but essential problems in Riemann-Finsler Geometry, which include a repertoire of rigidity and comparison theorems, and an array of explicit examples, illustrating many phenomena which admit only Finslerian interpretations. "This book offers the most modern treatment of the topic ..." EMS Newsletter.

The aim of this book is to make accessible the two important but rare works of Brook Taylor and to describe his role in the history of linear perspective. Taylor's works, Linear Perspective and New Principles on Linear Perspective, are among the most important sources in the history of the theory of perspective. This text focuses on two aspects of this history. The first is the development, starting in the beginning of the 17th century, of a mathematical theory of perspective where gifted mathematicians used their creativity to solve basic problems of perspective and simultaneously were inspired to consider more general problems in the projective geometry. Taylor was one of the key figures in this development. The second aspect concerns the problem of transmitting the knowledge gained by mathematicians to the practitioners. Although Taylor's books were mathematical rather than challenging, he was the first mathematician to succeed in making the practitioners interested in teaching the theoretical foundation of perspective. He became so important in the development that he was named "the father of modern perspective" in England. The English school of Taylor followers contained among others the painter John Kirby and Joseph Highmore and the scientist Joseph Priestley. After its translation to Italian and French in the 1750s, Taylor's work became popular on the continent.

The aim of this book is the classification of symplectic amalgams - structures which are intimately related to the finite simple groups. In all there sixteen infinite families of symplectic amalgams together with 62 more exotic examples. The classification touches on many important aspects of modern group theory: * p-local analysis * the amalgam method * representation theory over finite fields; and * properties of the finite simple groups. The account is for the most part self-contained and the wealth of detail makes this book an excellent introduction to these recent developments for graduate students, as well as a valuable resource and reference for specialists in the area.

A fascinating tour through parts of geometry students are unlikely to see in the rest of their studies while, at the same time, anchoring their excursions to the well known parallel postulate of Euclid. The author shows how alternatives to Euclids fifth postulate lead to interesting and different patterns and symmetries, and, in the process of examining geometric objects, the author incorporates the algebra of complex and hypercomplex numbers, some graph theory, and some topology. Interesting problems are scattered throughout the text. Nevertheless, the book merely assumes a course in Euclidean geometry at high school level. While many concepts introduced are advanced, the mathematical techniques are not. Singers lively exposition and off-beat approach will greatly appeal both to students and mathematicians, and the contents of the book can be covered in a one-semester course, perhaps as a sequel to a Euclidean geometry course.

The papers collected in this volume are contributions to the 33rd session of the Seminaire de Mathematiques Superieures (SMS) on "Topological Methods in Differential Equations and Inclusions." This session of the SMS took place at the Universite de Montreal in July 1994 and was a NATO Advanced Study Institute (ASI). The aim of the ASI was to bring together a considerable group of young researchers from various parts of the world and to present to them coherent surveys of some of the most recent advances in this area of Nonlinear Analysis. During the meeting 89 mathematicians from 20 countries have had the opportunity to get acquainted with various aspects of the subjects treated in the lectures as well as the chance to exchange ideas and learn about new problems arising in the field. The main topics teated in this ASI were the following: Fixed point theory for single- and multi-valued mappings including topological degree and its generalizations, and topological transversality theory; existence and multiplicity results for ordinary differential equations and inclusions; bifurcation and stability problems; ordinary differential equations in Banach spaces; second order differential equations on manifolds; the topological structure of the solution set of differential inclusions; effects of delay perturbations on dynamics of retarded delay differential equations; dynamics of reaction diffusion equations; non smooth critical point theory and applications to boundary value problems for quasilinear elliptic equations.

Bordered Floer homology assigns invariants to 3-manifolds with boundary, such that the Heegaard Floer homology of a closed 3-manifold, split into two pieces, can be recovered as a tensor product of the bordered invariants of the pieces. The authors construct cornered Floer homology invariants of 3-manifolds with codimension-2 corners and prove that the bordered Floer homology of a 3-manifold with boundary, split into two pieces with corners, can be recovered as a tensor product of the cornered invariants of the pieces.

Accurate Visual Metrology from Single and Multiple Uncalibrated Images presents novel techniques for constructing three-dimensional models from bi-dimensional images using virtual reality tools. Antonio Criminisi develops the mathematical theory of computing world measurements from single images, and builds up a hierarchy of novel, flexible techniques to make measurements and reconstruct three-dimensional scenes from uncalibrated images, paying particular attention to the accuracy of the reconstruction. This book includes examples of interesting viable applications (eg. Forensic Science, History of Art, Virtual Reality, Architectural and indoor measurements), presented in a simple way, accompanied by pictures, diagrams and plenty of worked examples to help the reader understand and implement the algorithms.