Page 12
Page 12
img

Mathematics and Culture II : Visual Perfection: Mathematics and Creativity

This book presents the mathematical foundations of systems theory in a self-contained, comprehensive, detailed and mathematically rigorous way. This volume is devoted to the analysis of dynamical systems with emphasis on problems of uncertainty, whereas the second volume will be devoted to control. It combines features of a detailed introductory textbook with that of a reference source. The book contains many examples and figures illustrating the text which help to bring out the intuitive ideas behind the mathematical constructions.

img

Mathematical Theory of Feynman Path Integrals : An Introduction

Feynman path integrals, suggested heuristically by Feynman in the 40s, have become the basis of much of contemporary physics, from non-relativistic quantum mechanics to quantum fields, including gauge fields, gravitation, cosmology. Recently ideas based on Feynman path integrals have also played an important role in areas of mathematics like low-dimensional topology and differential geometry, algebraic geometry, infinite-dimensional analysis and geometry, and number theory.

img

Mathematical Survey Lectures 1943-2004

This collection traces the career of Beno Eckmann, whose work ranges across a broad spectrum of mathematical concepts from topology and differential geometry through homological algebra to group theory. One of our most influential living mathematicians, Eckmann has been associated for nearly his entire professional life with the Swiss Federal Institute of Technology Zurich (ETH), as student, lecturer, professor, and professor emeritus.

img

Mathematical Problems from Applied Logic II : Logics for the XXIst Century

Mathematical Problems from Applied Logic II presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.

img

Mathematical Morphology : 40 Years On ; Proceedings of the 7th International Symposium on Mathematical Morphology, April 18-20, 2005

Mathematical Morphology is a speciality in Image Processing and Analysis, which considers images as geometrical objects, to be analyzed through their interactions with other geometrical objects. It relies on several branches of mathematics, such as discrete geometry, topology, lattice theory, partial differential equations, integral geometry and geometrical probability. It has produced fast and efficient algorithms for computer analysis of images, and has found applications in bio-medical imaging, materials science, geoscience, remote sensing, quality control, document processing and data analysis. This book contains the 43 papers presented at the 7th International Symposium on Mathematical Morphology, held in Paris on April 18-20, 2005. It gives a lively state of the art of current research topics in this field. It also marks a milestone, the 40 years of uninterrupted development of this ever-expanding domain.

img

Isomonodromic Deformations and Frobenius Manifolds : An Introduction

The notion of a Frobenius structure on a complex analytic manifold appeared at the end of the seventies in the theory of singularities of holomorphic functions. Motivated by physical considerations, further development of the theory has opened new perspectives on, and revealed new links between, many apparently unrelated areas of mathematics and physics. Based on a series of graduate lectures, this book provides an introduction to algebraic geometric methods in the theory of complex linear differential equations. Starting from basic notions in complex algebraic geometry, it develops some of the classical problems of linear differential equations and ends with applications to recent research questions related to mirror symmetry.

img

Invariant Manifolds for Physical and Chemical Kinetics

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.

img

Introduction to the Theory of Cooperative Games

This book systematically presents the main solutions of cooperative games: the core, bargaining set, kernel, nucleolus, and the Shapley value of TU games, and the core, the Shapley value, and the ordinal bargaining set of NTU games. To each solution the authors devote a separate chapter wherein they study its properties in full detail. Moreover, important variants are defined or even intensively analyzed. The authors also investigate in separate chapters continuity, dynamics, and geometric properties of solutions of TU games. The study culminates in uniform and coherent axiomatizations of all the foregoing solutions (excluding the bargaining set). Such axiomatizations have not appeared in any book. Moreover, the book contains a detailed analysis of the main results on cooperative games without side payments. Such analysis is very limited or non-existent in other books on game theory.

img

Introduction to Symplectic Dirac Operators

One of the basic ideas in differential geometry is that the study of analytic properties of certain differential operators acting on sections of vector bundles yields geometric and topological properties of the underlying base manifold. Symplectic spinor fields are sections in an L^2-Hilbert space bundle over a symplectic manifold and symplectic Dirac operators, acting on symplectic spinor fields, are associated to the symplectic manifold in a very natural way. Hence they may be expected to give interesting applications in symplectic geometry and symplectic topology. These symplectic Dirac operators are called Dirac operators, since they are defined in an analogous way as the classical Riemannian Dirac operator known from Riemannian spin geometry. They are called symplectic because they are constructed by use of the symplectic setting of the underlying symplectic manifold. This volume is the first one that gives a systematic and self-contained introduction to the theory of symplectic Dirac operators and reflects the current state of the subject. At the same time, it is intended to establish the idea that symplectic spin geometry and symplectic Dirac operators may give valuable tools in symplectic geometry and symplectic topology,

img

Introduction to Singularities and Deformations

This book presents the basic singularity theory of analytic spaces, including local deformation theory, and the theory of plane curve singularities. Plane curve singularities are a classical object of study, rich of ideas and applications, which still is in the center of current research and as such provides an ideal introduction to the general theory. Deformation theory is an important technique in many branches of contemporary algebraic geometry and complex analysis. This introductory text provides the general framework of the theory while still remaining concrete.

img

Introduction to Relativistic Continuum Mechanics

This mathematically-oriented introduction takes the point of view that students should become familiar, at an early stage, with the physics of relativistic continua and thermodynamics within the framework of special relativity. Therefore, in addition to standard textbook topics such as relativistic kinematics and vacuum electrodynamics, the reader will be thoroughly introduced to relativistic continuum and fluid mechanics. Emphasis in the presentation is on the 3+1 splitting technique, widely used in general relativity for introducing the relative observers point of view.

img

Introduction to Modern Number Theory: Fundamental Problems, Ideas and Theories

"Introduction to Modern Number Theory" surveys from a unified point of view both the modern state and the trends of continuing development of various branches of number theory. Motivated by elementary problems, the central ideas of modern theories are exposed. Some topics covered include non-Abelian generalizations of class field theory, recursive computability and Diophantine equations, zeta- and L-functions. This substantially revised and expanded new edition contains several new sections, such as Wiles' proof of Fermat's Last Theorem, and relevant techniques coming from a synthesis of various theories. Moreover, the authors have added a part dedicated to arithmetical cohomology and noncommutative geometry, a report on point counts on varieties with many rational points, the recent polynomial time algorithm for primality testing, and some others subjects.

img

Introduction to Geometric Computing

The geometric ideas in computer science, mathematics, engineering, and physics have considerable overlap and students in each of these disciplines will eventually encounter geometric computing problems. The topic is traditionally taught in mathematics departments via geometry courses, and in computer science through computer graphics modules. This text isolates the fundamental topics affecting these disciplines and lies at the intersection of classical geometry and modern computing.

img

Introduction to Classical Geometries

This book follows Felix Klein’s proposal of studying geometry by looking at the symmetries (or rigid motions) of the space in question. In this way the classical geometries are studied: Euclidean, affine, elliptic, projective and hyperbolic. For simplicity the focus is on the two-dimensional case, which is already rich enough, though some aspects of the 3- or n-dimensional geometries are included. Once plane geometry is well understood, it is much easier to go into higher dimensions.

img

Introduction à la résolution des systèmes polynomiaux = Introduction to solving polynomial systems

This book is an introduction to algebraic methods for solving this type of equations. We show how the geometry of algebraic varieties defined by these equations, their dimension, their degree, or their components can be deduced from the properties of the corresponding quotient algebras. For this, we approach methods of effective algebraic geometry, such as Grobner bases, resolution by eigenvalues and vectors, resultants, bezoutians, duality, Gorenstein algebras and algebraic residues.

img

Interactive Curve Modeling : With Applications to Computer Graphics, Vision and Image Processing

Interactive curve modeling techniques and their applications are extremely useful in a number of academic and industrial settings, and specifically play a significant role in multidisciplinary problem solving, such as in font design, designing objects, CAD/CAM, medical operations, scientific data visualization, virtual reality, character recognition, and object recognition, etc. Various problems such as iris, fingerprint, and signature recognition, can also be intelligently solved and automated using curve techniques.

img

Integrated Graphic and Computer Modelling

Full colour throughout, the book explores programming language developments from machine code to more natural language forms, and the basic display operations and commands needed to create effective computer graphic systems. As the visual presentation of real and virtual environments becomes more and more the norm in application systems, a clear understanding of the theory that underpins these techniques is required of all students and practitioners studying and working on large computer systems.

img

Integral closure : Rees algebras, multiplicities, algorithms

Integral Closure gives an account of theoretical and algorithmic developments on the integral closure of algebraic structures. These are shared concerns in commutative algebra, algebraic geometry, number theory and the computational aspects of these fields. The overall goal is to determine and analyze the equations of the assemblages of the set of solutions that arise under various processes and algorithms. It gives a comprehensive treatment of Rees algebras and multiplicity theory - while pointing to applications in many other problem areas. Its main goal is to provide complexity estimates by tracking numerically invariants of the structures that may occur.

img

Integrable Hamiltonian Hierarchies : Spectral and Geometric Methods

This book presents a detailed derivation of the spectral properties of the Recursion Operators allowing one to derive all the fundamental properties of the soliton equations and to study their Hamiltonian hierarchies. Thus it is demonstrated that the inverse scattering method for solving soliton equations is a nonlinear generalization of the Fourier transform. The book brings together the spectral and the geometric approaches and as such will be useful to a wide readership: from researchers in the field of nonlinear completely integrable evolution equations to graduate and post-graduate students.

img

Integer programming and combinatorial optimization ; 9th International IPCO Conference, Cambridge, MA, USA, May 27-29, 2002. Proceedings

This volume contains the papers selected for presentation at IPCO 2002, the NinthInternationalConferenceonIntegerProgrammingandCombinatorial- timization, Cambridge, MA (USA), May 27–29, 2002. The IPCO series of c- ferences highlights recent developments in theory, computation, and application of integer programming and combinatorial optimization. IPCO was established in 1988 when the ?rst IPCO program committee was formed. IPCO is held every year in which no International Symposium on Ma- ematical Programming (ISMP) takes places. The ISMP is triennial, so IPCO conferences are held twice in every three-year period. The eight previous IPCO conferences were held in Waterloo (Canada) 1990, Pittsburgh (USA) 1992, Erice (Italy) 1993, Copenhagen (Denmark) 1995, Vancouver (Canada) 1996, Houston (USA) 1998, Graz (Austria) 1999, and Utrecht (The Netherlands) 2001. In response to the call for papers for IPCO 2002, the program committee received 110 submissions, a record number for IPCO. The program committee met on January 7 and 8, 2002, in Aussois (France), and selected 33 papers for inclusion in the scienti?c program of IPCO 2002. The selection was based on originality and quality, and re?ects many of the current directions in integer programming and combinatorial optimization research.

Results Per Page