This book is mainly devoted to the combinatorics of quadratic holomorphic dynamics. The conceptual kernel is a self-contained abstract counterpart of connected quadratic Julia sets which is built on Thurston's concept of a quadratic invariant lamination and on symbolic descriptions of the angle-doubling map. The theory obtained is illustrated in the complex plane. It is used to give rigorous proofs of some well-known and some partially new statements on the structure of the Mandelbrot set. The text is intended for graduate students and researchers. Some elementary knowledge in topology and in functions of one complex variable is assumed.

Infinite dimensional manifolds, Lie groups and algebras arise naturally in many areas of mathematics and physics. Having been used mainly as a tool for the study of finite dimensional objects, the emphasis has changed and they are now frequently studied for their own independent interest. On the one hand this is a collection of closely related articles on infinite dimensional Kahler manifolds and associated group actions which grew out of a DMV-Seminar on the same subject. On the other hand it covers significantly more ground than was possible during the seminar in Oberwolfach and is in a certain sense intended as a systematic approach which ranges from the foundations of the subject to recent developments. It should be accessible to doctoral students and as well researchers coming from a wide range of areas. The initial chapters are devoted to a rather selfcontained introduction to group actions on complex and symplectic manifolds and to Borel-Weil theory in finite dimensions. These are followed by a treatment of the basics of infinite dimensional Lie groups, their actions and their representations. Finally, a number of more specialized and advanced topics are discussed, e.g., Borel-Weil theory for loop groups, aspects of the Virasoro algebra, (gauge) group actions and determinant bundles, and second quantization and the geometry of the infinite dimensional Grassmann manifold.

Computational engineering is the treatment of engineering tasks with computers. It is based on computational mathematics, which is presented here in a comprehensive handbook. Engineers and scientists who deal with engineering tasks have to handle large amounts of information, which must be created and structured in a systematic manner. This demands a high level of abstraction and therefore knowledge of the mathematical foundations. From the existing rich repertoire of mathematical theories and methods, the fundamentals of engineering computation are selected and presented in a coherent fashion. They are brought into a suitable order for specific engineering purposes, and their significance for typical applications is shown. The relevant definitions, notations and theories are presented in a durable form which is independent of the fast development of information and communication technology.

In September 1997, the Working Week on Resolution of Singularities was held at Obergurgl in the Tyrolean Alps. Its objective was to manifest the state of the art in the field and to formulate major questions for future research. The four courses given during this week were written up by the speakers and make up part I of this volume. They are complemented in part II by fifteen selected contributions on specific topics and resolution theories. The volume is intended to provide a broad and accessible introduction to resolution of singularities leading the reader directly to concrete research problems.

Based on a lecture course, this text gives a rigorous introduction to nonlinear analysis, dynamical systems and bifurcation theory including catastrophe theory. Wherever appropriate it emphasizes a geometrical or coordinate-free approach allowing a clear focus on the essential mathematical structures. It brings out features common to different branches of the subject while giving ample references for more advanced or technical developments.

The book lays algebraic foundations for real geometry through a systematic investigation of partially ordered rings of semi-algebraic functions. Real spectra serve as primary geometric objects, the maps between them are determined by rings of functions associated with the spectra. The many different possible choices for these rings of functions are studied via reflections of partially ordered rings. Readers should feel comfortable using basic algebraic and categorical concepts. As motivational background some familiarity with real geometry will be helpful. The book aims at researchers and graduate students with an interest in real algebra and geometry, ordered algebraic structures, topology and rings of continuous functions.

The development of polynomial-elimination techniques from classical theory to modern algorithms has undergone a tortuous and rugged path. This can be observed L. van der Waerden's elimination of the "elimination theory" chapter from from B. his classic Modern Algebra in later editions, A. Weil's hope to eliminate "from algebraic geometry the last traces of elimination theory," and S. Abhyankar's sug gestion to "eliminate the eliminators of elimination theory. " The renaissance and recognition of polynomial elimination owe much to the advent and advance of mod ern computing technology, based on which effective algorithms are implemented and applied to diverse problems in science and engineering. In the last decade, both theorists and practitioners have more and more realized the significance and power of elimination methods and their underlying theories. Active and extensive research has contributed a great deal of new developments on algorithms and soft ware tools to the subject, that have been widely acknowledged. Their applications have taken place from pure and applied mathematics to geometric modeling and robotics, and to artificial neural networks. This book provides a systematic and uniform treatment of elimination algo rithms that compute various zero decompositions for systems of multivariate poly nomials. The central concepts are triangular sets and systems of different kinds, in terms of which the decompositions are represented. The prerequisites for the concepts and algorithms are results from basic algebra and some knowledge of algorithmic mathematics."

This monograph deals with two aspects of the theory of elliptic genus: its topological aspect involving elliptic functions, and its representation theoretic aspect involving vertex operator super-algebras. For the second aspect, elliptic genera are shown to have the structure of modules over certain vertex operator super-algebras. The vertex operators corresponding to parallel tensor fields on closed Riemannian Spin K hler manifolds such as Riemannian tensors and K hler forms are shown to give rise to Virasoro algebras and affine Lie algebras. This monograph is chiefly intended for topologists and it includes accounts on topics outside of topology such as vertex operator algebras.

In this superb topology text, the readers not only learn about knot theory, 3-dimensional manifolds, and the topology of embedded graphs, but also their role in understanding molecular structures. Most results described in the text are motivated by the questions of chemists or molecular biologists, though they often go beyond answering the original question asked. No specific mathematical or chemical prerequisites are required. The text is enhanced by nearly 200 illustrations and 100 exercises. With this fascinating book, undergraduate mathematics students escape the world of pure abstract theory and enter that of real molecules, while chemists and biologists find simple and clear but rigorous definitions of mathematical concepts they handle intuitively in their work.

Topological Methods for Differential Equations and Inclusions covers the important topics involving topological methods in the theory of systems of differential equations. The equivalence between a control system and the corresponding differential inclusion is the central idea used to prove existence theorems in optimal control theory. Since the dynamics of economic, social, and biological systems are multi-valued, differential inclusions serve as natural models in macro systems with hysteresis.

A substantially revised edition of the UTM volume, with a view to making the book far more accessible to undergraduates. It contains a larger number of detailed explanations and exercises, together with fully worked solutions to the essential problems and a new chapter on the historical aspects.

Using harmonic maps, non-linear PDE and techniques from algebraic geometry this book enables the reader to study the relation between fundamental groups and algebraic geometry invariants of algebraic varieties. The reader should have a basic knowledge of algebraic geometry and non-linear analysis. This book can form the basis for graduate level seminars in the area of topology of algebraic varieties. It also contains present new techniques for researchers working in this area.

This book is an introduction to the theory of shadowing of approximate trajectories in dynamical systems by exact ones. This is the first book completely devoted to the theory of shadowing. It shows the importance of shadowing theory for both the qualitative theory of dynamical systems and the theory of numerical methods. Shadowing Methods allow us to estimate differences between exact and approximate solutions on infinite time intervals and to understand the influence of error terms. The book is intended for specialists in dynamical systems, for researchers and graduate students in the theory of numerical methods.

This volume contains a re-edition of Max Koecher's famous Minnesota Notes. The main objects are homogeneous, but not necessarily convex, cones. They are described in terms of Jordan algebras. The central point is a correspondence between semisimple real Jordan algebras and so-called omega-domains. This leads to a construction of half-spaces which give an essential part of all bounded symmetric domains. The theory is presented in a concise manner, with only elementary prerequisites. The editors have added notes on each chapter containing an account of the relevant developments of the theory since these notes were first written.

This book describes the representations of Lie superalgebras that are yielded by a graded version of Hudson-Parthasarathy quantum stochastic calculus. Quantum stochastic calculus and grading theory are given concise introductions, extending readership to mathematicians and physicists with a basic knowledge of algebra and infinite-dimensional Hilbert spaces. The develpment of an explicit formula for the chaotic expansion of a polynomial of quantum stochastic integrals is particularly interesting. The book aims to provide a self-contained exposition of what is known about Z_2-graded quantum stochastic calculus and to provide a framework for future research into this new and fertile area.

This volume contains 19 articles written by speakers at the Advanced Study Institute on 'Modular representations and subgroup structure of al gebraic groups and related finite groups' held at the Isaac Newton Institute, Cambridge from 23rd June to 4th July 1997. We acknowledge with gratitude the financial support given by the NATO Science Committee to enable this ASI to take place. Generous financial support was also provided by the European Union. We are also pleased to acknowledge funds given by EPSRC to the Newton Institute which were used to support the meeting. It is a pleasure to thank the Director of the Isaac Newton Institute, Professor Keith Moffatt, and the staff of the Institute for their dedicated work which did so much to further the success of the meeting. The editors wish to thank Dr. Ross Lawther and Dr. Nick Inglis most warmly for their help in the production of this volume. Dr. Lawther in particular made an invaluable contribution in preparing the volume for submission to the publishers. Finally we wish to thank the distinguished speakers at the ASI who agreed to write articles for this volume based on their lectures at the meet ing. We hope that the volume will stimulate further significant advances in the theory of algebraic groups."

The book is devoted to the geometrical construction of the representations of Lusztig's small quantum groups at roots of unity. These representations are realized as some spaces of vanishing cycles of perverse sheaves over configuration spaces. As an application, the bundles of conformal blocks over the moduli spaces of curves are studied. The book is intended for specialists in group representations and algebraic geometry.

This is the softcover reprint of the 1974 English translation of the later chapters of Bourbaki 's Topologie Generale. Initial chapters study subgroups and quotients of R, real vector spaces and projective spaces, and additive groups Rn. Analogous properties are then studied for complex numbers. Later chapters illustrate the use of real numbers in general topology and discuss various topologies of function spaces and approximation of functions.

These proceedings contain papers presented at the 8th Discrete Geometry for Computer Imagery conference, held 17-19, March 1999 at ESIEE, Marne-la- Vall ee. The domains of discrete geometry and computer imagery are closely related. Discrete geometry provides both theoretical and algorithmic models for the p- cessing, analysis and synthesis of images; in return computer imagery, in its variety of applications, constitutes a remarkable experimentational eld and is a source of challenging problems. The number of returning participants, the arrival each year of contributions from new laboratories and new researchers, as well as the quality and originality of the results have contributed to the success of the conference and are an - dication of the dynamism of this eld. The DGCI has become one of the major conferences related to this topic, including participating researchers and la- ratories from all over the world. Of the 41 papers received this year, 24 have been selected for presentation and 7 for poster sessions. In addition to these, four invited speakers have contributed to the conference. The site of Marne-la-Vall ee, just 20 min away from Paris, is particularly we- suited to hold the conference. Indeed, as a newly built city, it showcases a great amount of modern creative architecture, whose pure lines and original shapes o er a favorable context for the topic of Geometry.

Designed for students preparing to engage in their first struggles to understand and write proofs and to read mathematics independently, this is well suited as a supplementary text in courses on introductory real analysis, advanced calculus, abstract algebra, or topology. The book teaches in detail how to construct examples and non-examples to help understand a new theorem or definition; it shows how to discover the outline of a proof in the form of the theorem and how logical structures determine the forms that proofs may take. Throughout, the text asks the reader to pause and work on an example or a problem before continuing, and encourages the student to engage the topic at hand and to learn from failed attempts at solving problems. The book may also be used as the main text for a "transitions" course bridging the gap between calculus and higher mathematics. The whole concludes with a set of "Laboratories" in which students can practice the skills learned in the earlier chapters on set theory and function theory.

This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the volume were selected on the basis of double reviewing. Among the topics covered are automated geometric reasoning and the deduction applied to Dixon resultants, Grobner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion; furthermore the system REDLOG is demonstrated and the verification of geometric statements as well as the automated production of proof in Euclidean Geometry are present.

From the reviews: "... The book under review consists of two monographs on geometric aspects of group theory ... Together, these two articles form a wide-ranging survey of combinatorial group theory, with emphasis very much on the geometric roots of the subject. This will be a useful reference work for the expert, as well as providing an overview of the subject for the outsider or novice. Many different topics are described and explored, with the main results presented but not proved. This allows the interested reader to get the flavour of these topics without becoming bogged down in detail. Both articles give comprehensive bibliographies, so that it is possible to use this book as the starting point for a more detailed study of a particular topic of interest. ..." Bulletin of the London Mathematical Society, 1996

From the reviews: "This volume... consists of two papers. The first, written by V.V. Shokurov, is devoted to the theory of Riemann surfaces and algebraic curves. It is an excellent overview of the theory of relations between Riemann surfaces and their models - complex algebraic curves in complex projective spaces. ... The second paper, written by V.I. Danilov, discusses algebraic varieties and schemes. ... I can recommend the book as a very good introduction to the basic algebraic geometry." "European Mathematical Society" "Newsletter, 1996"
..". To sum up, this book helps to learn algebraic geometry in a short time, its concrete style is enjoyable for students and reveals the beauty of mathematics." Acta Scientiarum Mathematicarum

The Blaubeuren Conference "Theory and Practice of Geometric Modeling" has become a meeting place for leading experts from industrial and academic research institutions, CAD system developers and experienced users to exchange new ideas and to discuss new concepts and future directions in geometric modeling. The relaxed and calm atmosphere of the Heinrich-Fabri-Institute in Blaubeuren provides the appropriate environment for profound and engaged discussions that are not equally possible on other occasions. Real problems from current industrial projects as well as theoretical issues are addressed on a high scientific level. This book is the result of the lectures and discussions during the conference which took place from October 14th to 18th, 1996. The contents is structured in 4 parts: Mathematical Tools Representations Systems Automated Assembly. The editors express their sincere appreciation to the contributing authors, and to the members of the program committee for their cooperation, the careful reviewing and their active participation that made the conference and this book a success.

Any topological theory of knots and links should be based on simple ideas of intersection and linking. In this book, a general theory of link bordism in manifolds and universal constructions of linking numbers in oriented 3-manifolds are developed. In this way, classical concepts of link theory in the 3-spheres are generalized to a certain class of oriented 3-manifolds (submanifolds of rational homology 3-spheres). The techniques needed are described in the book but basic knowledge in topology and algebra is assumed. The book should be of interst to those working in topology, in particular knot theory and low-dimensional topology.