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."

Time-evolution in low-dimensional topological spaces is a subject of puzzling vitality. This book is a state-of-the-art account, covering classical and new results. The volume comprises Poincar -Bendixson, local and Morse-Smale theories, as well as a carefully written chapter on the invariants of surface flows. Of particular interest are chapters on the Anosov-Weil problem, C*-algebras and non-compact surfaces. The book invites graduate students and non-specialists to a fascinating realm of research. It is a valuable source of reference to the specialists.

From the reviews: "This is an excellent exposition about abelian Reidemeister torsions for three-manifolds." -Zentralblatt Math

"This monograph contains a wealth of information many topologists will find very handy. ...Many of the new points of view pioneered by Turaev are gradually becoming mainstream and are spreading beyond the pure topology world. This monograph is a timely and very useful addition to the scientific literature." -Mathematical Reviews

This text presents the salient features of the general theory of infinite electrical networks in a coherent exposition. Using the basic tools of functional analysis and graph theory, the author presents the fundamental developments of the past two decades and discusses applications to other areas of mathematics. The jump in complexity from finite electrical networks to infinite ones is comparable to the jump in complexity from finite-dimensional to infinite-dimensional spaces. Many of the questions that are conventionally asked about finite networks are presently unanswerable for infinite networks, while questions that are meaningless for finite networks crop up for infinite ones and lead to surprising results, such as the occasional collapse of Kirchhoff's laws in infinite regimes. Some central concepts have no counterpart in the finite case, as for example the extremities of an infinite network, the perceptibility of infinity, and the connections at infinity.

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.

Many disciplines are concerned with manipulating geometric (or spatial) objects in the computer - such as geology, cartography, computer aided design (CAD), etc. - and each of these have developed their own data structures and techniques, often independently. Nevertheless, in many cases the object types and the spatial queries are similar, and this book attempts to find a common theme.

Developed and class-tested by a distinguished team of authors at two universities, this text is intended for courses in nonlinear dynamics in either mathematics or physics. The only prerequisites are calculus, differential equations, and linear algebra. Along with discussions of the major topics, including discrete dynamical systems, chaos, fractals, nonlinear differential equations and bifurcations, the text also includes Lab Visits -- short reports that illustrate relevant concepts from the physical, chemical and biological sciences. There are Computer Experiments throughout the text that present opportunities to explore dynamics through computer simulations, designed for use with any software package. And each chapter ends with a Challenge, guiding students through an advanced topic in the form of an extended exercise.

The main purpose of this book is to present the basic theory and some recent de velopments concerning the Cauchy problem for higher order abstract differential equations u(n)(t) + ~ AiU(i)(t) = 0, t ~ 0, { U(k)(O) = Uk, 0 ~ k ~ n-l. where AQ, Ab . . . , A - are linear operators in a topological vector space E. n 1 Many problems in nature can be modeled as (ACP ). For example, many n initial value or initial-boundary value problems for partial differential equations, stemmed from mechanics, physics, engineering, control theory, etc. , can be trans lated into this form by regarding the partial differential operators in the space variables as operators Ai (0 ~ i ~ n - 1) in some function space E and letting the boundary conditions (if any) be absorbed into the definition of the space E or of the domain of Ai (this idea of treating initial value or initial-boundary value problems was discovered independently by E. Hille and K. Yosida in the forties). The theory of (ACP ) is closely connected with many other branches of n mathematics. Therefore, the study of (ACPn) is important for both theoretical investigations and practical applications. Over the past half a century, (ACP ) has been studied extensively.

The theory of surfaces has reached a certain stage of completeness and major efforts concentrate on solving concrete questions rather than developing further the formal theory. Many of these questions are touched upon in this classic volume: such as the classification of quartic surfaces, the description of moduli spaces for abelian surfaces, and the automorphism group of a Kummer surface. First printed in 1905 after the untimely death of the author, this work has stood for most of this century as one of the classic reference works in geometry.

Deals with an area of research that lies at the crossroads of mathematics and physics. The material presented here rests primarily on the pioneering work of Vaughan Jones and Edward Witten relating polynomial invariants of knots to a topological quantum field theory in 2+1 dimensions. Professor Atiyah presents an introduction to Witten's ideas from the mathematical point of view. The book will be essential reading for all geometers and gauge theorists as an exposition of new and interesting ideas in a rapidly developing area.

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

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.

In recent years geometry seems to have lost large parts of its former central position in mathematics teaching in most countries. However, new trends have begun to counteract this tendency. There is an increasing awareness that geometry plays a key role in mathematics and learning mathematics. Although geometry has been eclipsed in the mathematics curriculum, research in geometry has blossomed as new ideas have arisen from inside mathematics and other disciplines, including computer science. Due to reassessment of the role of geometry, mathematics educators and mathematicians face new challenges. In the present ICMI study, the whole spectrum of teaching and learning of geometry is analysed. Experts from all over the world took part in this study, which was conducted on the basis of recent international research, case studies, and reports on actual school practice. This book will be of particular interest to mathematics educators and mathematicians who are involved in the teaching of geometry at all educational levels, as well as to researchers in mathematics education.

From the reviews:"The book...is a thorough and very readable introduction to the arithmetic of function fields of one variable over a finite field, by an author who has made fundamental contributions to the field. It serves as a definitive reference volume, as well as offering graduate students with a solid understanding of algebraic number theory the opportunity to quickly reach the frontiers of knowledge in an important area of mathematics...The arithmetic of function fields is a universe filled with beautiful surprises, in which familiar objects from classical number theory reappear in new guises, and in which entirely new objects play important roles. Goss'clear exposition and lively style make this book an excellent introduction to this fascinating field." MR 97i:11062

This book constitutes the refereed proceedings of the 7th International Workshop on Discrete Geometry for Computer Imagery, DGCI '97, held in Montpellier, France, in December 1997. The volume presents 17 revised full papers together with three invited full papers. The contributions are organized in sections on 2D recognition, discrete shapes and planes, surfaces, topology, features, and from principles to applications.

UNDERSTANDING NONLINEAR DYNAMICS is based on an undergraduate course taught for many years to students in the biological sciences. The text provides a clear and accessible development of many concepts from contemporary dynamics, including stability and multistability, cellular automata and excitable media, fractals, cycles, and chaos. A chapter on time-series analysis builds on this foundation to provide an introduction to techniques for extracting information about dynamics from data. The text will be useful for courses offered in the life sciences or other applied science programs, or as a supplement to emphasize the application of subjects presented in mathematics or physics courses. Extensive examples are derived from the experimental literature, and numerous exercise sets can be used in teaching basic mathematical concepts and their applications. Concrete applications of the mathematics are illustrated in such areas as biochemistry, neurophysiology, cardiology, and ecology. The text also provides an entry point for researchers not familiar with mathematics but interested in applications of nonlinear dynamics to the life sciences.

From the reviews: "... In the past, more of the leading mathematicians proposed and solved problems than today, and there were problem departments in many journals. Pólya and Szego must have combed all of the large problem literature from about 1850 to 1925 for their material, and their collection of the best in analysis is a heritage of lasting value. The work is unashamedly dated. With few exceptions, all of its material comes from before 1925. We can judge its vintage by a brief look at the author indices (combined). Let's start on the C's: Cantor, Carathéodory, Carleman, Carlson, Catalan, Cauchy, Cayley, Cesàro,... Or the L's: Lacour, Lagrange, Laguerre, Laisant, Lambert, Landau, Laplace, Lasker, Laurent, Lebesgue, Legendre,... Omission is also information: Carlitz, Erdös, Moser, etc."Bull.Americ.Math.Soc.

The book provides a comprehensive theory of ODE which come as Euler-Lagrange equations from generally higher-order Lagrangians. Emphasis is laid on applying methods from differential geometry (fibered manifolds and their jet-prolongations) and global analysis (distributions and exterior differential systems). Lagrangian and Hamiltonian dynamics, Hamilton-Jacobi theory, etc., for any Lagrangian system of any order are presented. The key idea - to build up these theories as related with the class of equivalent Lagrangians - distinguishes this book from other texts on higher-order mechanics. The reader should be familiar with elements of differential geometry, global analysis and the calculus of variations.

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.

The present book contains the lecture notes from a "Nachdiplomvorlesung," a topics course adressed to Ph. D. students, at the ETH ZUrich during the winter term 95/96. Consequently, these notes are arranged according to the requirements of organizing the material for oral exposition, and the level of difficulty and the exposition were adjusted to the audience in Zurich. The aim of the course was to introduce some geometric and analytic concepts that have been found useful in advancing our understanding of spaces of nonpos itive curvature. In particular in recent years, it has been realized that often it is useful for a systematic understanding not to restrict the attention to Riemannian manifolds only, but to consider more general classes of metric spaces of generalized nonpositive curvature. The basic idea is to isolate a property that on one hand can be formulated solely in terms of the distance function and on the other hand is characteristic of nonpositive sectional curvature on a Riemannian manifold, and then to take this property as an axiom for defining a metric space of nonposi tive curvature. Such constructions have been put forward by Wald, Alexandrov, Busemann, and others, and they will be systematically explored in Chapter 2. Our focus and treatment will often be different from the existing literature. In the first Chapter, we consider several classes of examples of Riemannian manifolds of nonpositive curvature, and we explain how conditions about nonpos itivity or negativity of curvature can be exploited in various geometric contexts."

In this study extending classical Markov chain theory to handle fluctuating transition matrices, the author develops a theory of Markov set-chains and provides numerous examples showing how that theory can be applied. Chapters are concluded with a discussion of related research. Readers who can benefit from this monograph are those interested in, or involved with, systems whose data is imprecise or that fluctuate with time. A background equivalent to a course in linear algebra and one in probability theory should be sufficient.

The closed orbits of three-dimensional flows form knots and links. This book develops the tools - template theory and symbolic dynamics - needed for studying knotted orbits. This theory is applied to the problems of understanding local and global bifurcations, as well as the embedding data of orbits in Morse-smale, Smale, and integrable Hamiltonian flows. The necesssary background theory is sketched; however, some familiarity with low-dimensional topology and differential equations is assumed.

The book describes some interactions of topology with other areas of mathematics and it requires only basic background. The first chapter deals with the topology of pointwise convergence and proves results of Bourgain, Fremlin, Talagrand and Rosenthal on compact sets of Baire class-1 functions. In the second chapter some topological dynamics of beta-N and its applications to combinatorial number theory are presented. The third chapter gives a proof of the Ivanovskii-Kuzminov-Vilenkin theorem that compact groups are dyadic. The last chapter presents Marjanovic's classification of hyperspaces of compact metric zerodimensional spaces.

Interest in the study of geometry is currently enjoying a resurgence-understandably so, as the study of curves was once the playground of some very great mathematicians. However, many of the subject's more exciting aspects require a somewhat advanced mathematics background. For the "fun stuff" to be accessible, we need to offer students an introduction with modest prerequisites, one that stimulates their interest and focuses on problem solving.

Integrating parametric, algebraic, and projective curves into a single text, Geometry of Curves offers students a unique approach that provides a mathematical structure for solving problems, not just a catalog of theorems. The author begins with the basics, then takes students on a fascinating journey from conics, higher algebraic and transcendental curves, through the properties of parametric curves, the classification of limaçons, envelopes, and finally to projective curves, their relationship to algebraic curves, and their application to asymptotes and boundedness.

The uniqueness of this treatment lies in its integration of the different types of curves, its use of analytic methods, and its generous number of examples, exercises, and illustrations.
The result is a practical text, almost entirely self-contained, that not only imparts a deeper understanding of the theory, but inspires a heightened appreciation of geometry and interest in more advanced studies.