Abelian varieties and their moduli are a central topic of increasing importance in todays mathematics. Applications range from algebraic geometry and number theory to mathematical physics.
The present collection of 17 refereed articles originates from the third "Texel Conference" held in 1999. Leading experts discuss and study the structure of the moduli spaces of abelian varieties and related spaces, giving an excellent view of the state of the art in this field.
The book will appeal to pure mathematicians, especially algebraic geometers and number theorists, but will also be relevant for researchers in mathematical physics.

This book is an outgrowth of the activities of the Center for Geometry and Mathematical Physics (CGMP) at Penn State from 1996 to 1998. The Center was created in the Mathematics Department at Penn State in the fall of 1996 for the purpose of promoting and supporting the activities of researchers and students in and around geometry and physics at the university. The CGMP brings many visitors to Penn State and has ties with other research groups; it organizes weekly seminars as well as annual workshops The book contains 17 contributed articles on current research topics in a variety of fields: symplectic geometry, quantization, quantum groups, algebraic geometry, algebraic groups and invariant theory, and character istic classes. Most of the 20 authors have talked at Penn State about their research. Their articles present new results or discuss interesting perspec tives on recent work. All the articles have been refereed in the regular fashion of excellent scientific journals. Symplectic geometry, quantization and quantum groups is one main theme of the book. Several authors study deformation quantization. As tashkevich generalizes Karabegov's deformation quantization of Kahler manifolds to symplectic manifolds admitting two transverse polarizations, and studies the moment map in the case of semisimple coadjoint orbits. Bieliavsky constructs an explicit star-product on holonomy reducible sym metric coadjoint orbits of a simple Lie group, and he shows how to con struct a star-representation which has interesting holomorphic properties.

The analysis of Euclidean space is well-developed. The classical Lie groups that act naturally on Euclidean space-the rotations, dilations, and trans lations-have both shaped and guided this development. In particular, the Fourier transform and the theory of translation invariant operators (convolution transforms) have played a central role in this analysis. Much modern work in analysis takes place on a domain in space. In this context the tools, perforce, must be different. No longer can we expect there to be symmetries. Correspondingly, there is no longer any natural way to apply the Fourier transform. Pseudodifferential operators and Fourier integral operators can playa role in solving some of the problems, but other problems require new, more geometric, ideas. At a more basic level, the analysis of a smoothly bounded domain in space requires a great deal of preliminary spadework. Tubular neighbor hoods, the second fundamental form, the notion of "positive reach", and the implicit function theorem are just some of the tools that need to be invoked regularly to set up this analysis. The normal and tangent bundles become part of the language of classical analysis when that analysis is done on a domain. Many of the ideas in partial differential equations-such as Egorov's canonical transformation theorem-become rather natural when viewed in geometric language. Many of the questions that are natural to an analyst-such as extension theorems for various classes of functions-are most naturally formulated using ideas from geometry.

- Following on from the 2000 edition of Jan De Witt's Elementa Curvarum Linearum, Liber Primus, this book provides the accompanying translation of the second volume of Elementa Curvarum Linearum (Foundations of Curved Lines). One of the first books to be published on Analytic Geometry, it was originally written in Latin by the Dutch statesman and mathematician Jan de Witt, soon after Descartes' invention of the subject.

- Born in 1625, Jan de Witt served with distinction as Grand Pensionary of Holland for much of his adult life. In mathematics, he is best known for his work in actuarial mathematics as well as extensive contributions to analytic geometry.

- Elementa Curvarum Linearum, Liber Secondus moves forward from the construction of the familiar conic sections covered in the Liber Primus, with a discussion of problems connected with their classification; given an equation, it covers how one can recover the standard form, and additionally how one can find the equation's geometric properties.

- This volume, begun by Albert Grootendorst (1924-2004) and completed after his death by Jan Aarts, Reinie Erne and Miente Bakker, is supplemented by:

- annotation explaining finer points of the translation;

- extensive commentary on the mathematics These features make the work of Jan de Witt broadly accessible to today's mathematicians."

Starting in 1996, a sequence of articles appeared in the Journal of Nonlinear Science dedicated to the memory of one of its original editors, Juan-Carlos Simo, Applied Me chanics, Stanford University. Sadly, Juan-Carlos passed away at an early age in 1994. We lost a brilliant colleague and a wonderful person. These articles are collected in the present volume. Many of them are updated and corrected especially for this occasion. These essays are in areas of scientific interest of Juan-Carlos, including mechanics (particles, rigid bodies, fluids, elasticity, plastic ity, etc.), geometry, applied dynamics, and, of course, computation. His interests were extremely broad-he did not see boundaries between computation, mathematics, me chanics, and dynamics, and, in that sense, he ideally reflected the spirit of the journal and many of the most exciting areas of current scientific interest. Juan-Carlos was one of those select and gifted people who could cross interdisci plinary boundaries with extremely high quality and productive interactions of lasting value. His contributions, ranging from concrete engineering problems to fundamental mathematical theorems in geometric mechanics, are remarkable. In current conferences as well as in scientific books and articles, and over a wide range of subjects, one frequently hears how his ideas as well as specific results are often used and quoted-this is one indication of just how profound and fundamental his work has impacted the community.

'Subdivision' is a way of representing smooth shapes in a computer. A curve or surface (both of which contain an in?nite number of points) is described in terms of two objects. One object is a sequence of vertices, which we visualise as a polygon, for curves, or a network of vertices, which we visualise by drawing the edges or faces of the network, for surfaces. The other object is a set of rules for making denser sequences or networks. When applied repeatedly, the denser and denser sequences are claimed to converge to a limit, which is the curve or surface that we want to represent. This book focusses on curves, because the theory for that is complete enough that a book claiming that our understanding is complete is exactly what is needed to stimulate research proving that claim wrong. Also because there are already a number of good books on subdivision surfaces. The way in which the limit curve relates to the polygon, and a lot of interesting properties of the limit curve, depend on the set of rules, and this book is about how one can deduce those properties from the set of rules, and how one can then use that understanding to construct rules which give the properties that one wants.

This book contains contributions from a workshop on topology and geometry of polymers, held at the IMA in June 1996, which brought together topologists, combinatorialists, theoretical physicists and polymer scientists, with a common interest in polymer topology. Polymers can be highly self-entangled even in dilute solution. In the melt the inter- and intra-chain entanglements can dominate the rheological properties of these phenomena. Although the possibility of knotting in ring polymers has been recognized for more than thirty years it is only recently that the powerful methods of algebraic topology have been used in treating models of polymers. This book contains a series of chapters which review the current state of the field and give an up to date account of what is known and perhaps more importantly, what is still unknown. The field abounds with open problems. The book is of interest to workers in polymer statistical mechanics but will also be useful as an introduction to topological methods for polymer scientists, and will introduce mathematicians to an area of science where topological approaches are making a substantial contribution.

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.

This Seminar began in Moscow in November 1943 and has continued without interruption up to the present. We are happy that with this vol ume, Birkhiiuser has begun to publish papers of talks from the Seminar. It was, unfortunately, difficult to organize their publication before 1990. Since 1990, most of the talks have taken place at Rutgers University in New Brunswick, New Jersey. Parallel seminars were also held in Moscow, and during July, 1992, at IRES in Bures-sur-Yvette, France. Speakers were invited to submit papers in their own style, and to elaborate on what they discussed in the Seminar. We hope that readers will find the diversity of styles appealing, and recognize that to some extent this reflects the diversity of styles in a mathematical society. The principal aim was to have interesting talks, even if the topic was not especially popular at the time. The papers listed in the Table of Contents reflect some of the rich variety of ideas presented in the Seminar. Not all the speakers submit ted papers. Among the interesting talks that influenced the seminar in an important way, let us mention, for example, that of R. Langlands on per colation theory and those of J. Conway and J. McKay on sporadic groups. In addition, there were many extemporaneous talks as well as short discus sions."

One of the most effective ways to stimulate students to enjoy intellectual efforts is the scientific competition. In 1894 the Hungarian Mathematical and Physical Society introduced a mathematical competition for high school students. The success of high school competitions led the Mathematical Society to found a college level contest, named after Miklos Schweitzer. The problems of the Schweitzer Contests are proposed and selected by the most prominent Hungarian mathematicians. This book collects the problems posed in the contests between 1962 and 1991 which range from algebra, combinatorics, theory of functions, geometry, measure theory, number theory, operator theory, probability theory, topology, to set theory. The second part contains the solutions. The Schweitzer competition is one of the most unique in the world. The experience shows that this competition helps to identify research talents. This collection of problems and solutions in several fields in mathematics can serve as a guide for many undergraduates and young mathematicians. The large variety of research level problems might be of interest for more mature mathematicians and historians of mathematics as well.

This book constitutes the refereed proceedings of the Thailand-Japan Joint Conference on Computational Geometry and Graphs, TJJCCGG 2012, held in Bangkok, Thailand, in December 2012.
The 15 original research papers presented were selected from among six plenary talks, one special public talk and 41 talks by participants from about 20 countries around the world. TJJCCGG 2012 provided a forum for researchers working in computational geometry, graph theory/algorithms and their applications.

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

This book is an introduction to the fundamental concepts and tools needed for solving problems of a geometric nature using a computer. It attempts to fill the gap between standard geometry books, which are primarily theoretical, and applied books on computer graphics, computer vision, robotics, or machine learning. This book covers the following topics: affine geometry, projective geometry, Euclidean geometry, convex sets, SVD and principal component analysis, manifolds and Lie groups, quadratic optimization, basics of differential geometry, and a glimpse of computational geometry (Voronoi diagrams and Delaunay triangulations). Some practical applications of the concepts presented in this book include computer vision, more specifically contour grouping, motion interpolation, and robot kinematics. In this extensively updated second edition, more material on convex sets, Farkas's lemma, quadratic optimization and the Schur complement have been added. The chapter on SVD has been greatly expanded and now includes a presentation of PCA. The book is well illustrated and has chapter summaries and a large number of exercises throughout. It will be of interest to a wide audience including computer scientists, mathematicians, and engineers. Reviews of first edition: "Gallier's book will be a useful source for anyone interested in applications of geometrical methods to solve problems that arise in various branches of engineering. It may help to develop the sophisticated concepts from the more advanced parts of geometry into useful tools for applications." (Mathematical Reviews, 2001) "...it will be useful as a reference book for postgraduates wishing to find the connection between their current problem and the underlying geometry." (The Australian Mathematical Society, 2001)