Friedrich Hirzebruch (1927 2012) was a German mathematician, working in the fields of topology, complex manifolds and algebraic geometry, and a leading figure of his generation. Hirzebruch s first great mathematical achievement was the proof, in 1954, of the generalization of the classical Riemann-Roch theorem to higher dimensional complex manifolds, now known as the Hirzebruch-Riemann-Roch theorem. This used the new techniques of sheaf cohomology and was one of the centerpieces of the explosion of new results in geometry and topology during the 1950s. Further generalization of this led to the Grothendieck-Riemann-Roch theorem, and the Atiyah-Singer index theorem. He received many awards and honors, including the Wolf prize in 1988, the Lobachevsky prize in 1990, and fifteen honorary doctorates. These two volumes collect the majority of his research papers, which cover a variety of topics."

The nature of time has long puzzled physicists and philosophers. Time potentially has very fundamental yet unknown properties. In 1993 a new model of multi-dimensional time was found to relate closely to properties of the cosmological redshift. An international conference was subsequently convened in April 1996 to examine past, current and new concepts of time as they relate to physics and cosmology. These proceedings incorporate 34 reviews and contributed papers from the conference. The major reviews include observational properties of the redshift, alternative cosmologies, critical problems in cosmology, alternative viewpoints and problems in gravitation theory and particle physics, and new approaches to mathematical models of time. Professionals and students with an interest in cosmology and the structure of the universe will find that this book raises critical problems and explores challenging alternatives to classical viewpoints.

The present book is a translation into English of Elernenta CU'f'Varurn Linearurn-Liber Prirnus, written in Latin, by the Dutch statesman and mathematician Jan de Witt (1625-1672). Together with its sequel, Ele- rnenta CU'f'Varurn Linearurn-Liber Secundus, it constitutes the first text- book on Analytic Geometry, based on the ideas of Descartes, as laid down in his Geornetrie of 1637. The first edition of de Witt's work appeared in 1659 and this translation is its first translation into English. For more details the reader is referred to the Introduction. Apart from this translation and this introduction, the present work con- tains an extensive summary, annotations to the translation, and two ap- pendices on the role of the conics in Greek mathematics. The translation has been made from the second edition, printed by the Blaeu Company in Amsterdam in 1684. In 1997 the translator published a translation into Dutch of the same work, likewise supplied with an introduction, a summary, notes, and two appendices. This edition appeared as a publication of the Stichting Mathe- matisch Centrum Amsterdam. The present translation, however, is a direct translation of the Latin text. The rest of this work is an English version of the introduction, the summary, the notes, and the appendices, based on the Dutch original.

Since their invention in the late seventies, public key cryptosystems have become an indispensable asset in establishing private and secure electronic communication, and this need, given the tremendous growth of the Internet, is likely to continue growing. Elliptic curve cryptosystems represent the state of the art for such systems. Elliptic Curves and Their Applications to Cryptography: An Introduction provides a comprehensive and self-contained introduction to elliptic curves and how they are employed to secure public key cryptosystems. Even though the elegant mathematical theory underlying cryptosystems is considerably more involved than for other systems, this text requires the reader to have only an elementary knowledge of basic algebra. The text nevertheless leads to problems at the forefront of current research, featuring chapters on point counting algorithms and security issues. The Adopted unifying approach treats with equal care elliptic curves over fields of even characteristic, which are especially suited for hardware implementations, and curves over fields of odd characteristic, which have traditionally received more attention. Elliptic Curves and Their Applications: An Introduction has been used successfully for teaching advanced undergraduate courses. It will be of greatest interest to mathematicians, computer scientists, and engineers who are curious about elliptic curve cryptography in practice, without losing the beauty of the underlying mathematics.

Topics in Knot Theory is a state of the art volume which presents surveys of the field by the most famous knot theorists in the world. It also includes the most recent research work by graduate and postgraduate students. The new ideas presented cover racks, imitations, welded braids, wild braids, surgery, computer calculations and plottings, presentations of knot groups and representations of knot and link groups in permutation groups, the complex plane and/or groups of motions. For mathematicians, graduate students and scientists interested in knot theory.

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.

John Leigh Smeathman Hatton (1865-1933) was a British mathematician and educator. He worked for 40 years at a pioneering educational project in East London that began as the People's Palace and eventually became Queen Mary College in the University of London. Hatton served as its Principal from 1908 to 1933. This book, published in 1920, explores the relationship between imaginary and real non-Euclidean geometry through graphical representations of imaginaries under a variety of conventions. This relationship is of importance as points with complex determining elements are present in both imaginary and real geometry. Hatton uses concepts including the use of co-ordinate methods to develop and illustrate this relationship, and concentrates on the idea that the only differences between real and imaginary points exist solely in relation to other points. This clearly written volume exemplifies the type of non-Euclidean geometry research current at the time of publication.

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

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.

This easy-to-read 2010 book demonstrates how a simple geometric idea reveals fascinating connections and results in number theory, the mathematics of polyhedra, combinatorial geometry, and group theory. Using a systematic paper-folding procedure it is possible to construct a regular polygon with any number of sides. This remarkable algorithm has led to interesting proofs of certain results in number theory, has been used to answer combinatorial questions involving partitions of space, and has enabled the authors to obtain the formula for the volume of a regular tetrahedron in around three steps, using nothing more complicated than basic arithmetic and the most elementary plane geometry. All of these ideas, and more, reveal the beauty of mathematics and the interconnectedness of its various branches. Detailed instructions, including clear illustrations, enable the reader to gain hands-on experience constructing these models and to discover for themselves the patterns and relationships they unearth.

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.