Gaussian scale-space is one of the best understood multi-resolution techniques available to the computer vision and image analysis community. It is the purpose of this book to guide the reader through some of its main aspects. During an intensive weekend in May 1996 a workshop on Gaussian scale-space theory was held in Copenhagen, which was attended by many of the leading experts in the field. The bulk of this book originates from this workshop. Presently there exist only two books on the subject. In contrast to Lindeberg's monograph (Lindeberg, 1994e) this book collects contributions from several scale space researchers, whereas it complements the book edited by ter Haar Romeny (Haar Romeny, 1994) on non-linear techniques by focusing on linear diffusion. This book is divided into four parts. The reader not so familiar with scale-space will find it instructive to first consider some potential applications described in Part 1. Parts II and III both address fundamental aspects of scale-space. Whereas scale is treated as an essentially arbitrary constant in the former, the latter em phasizes the deep structure, i.e. the structure that is revealed by varying scale. Finally, Part IV is devoted to non-linear extensions, notably non-linear diffusion techniques and morphological scale-spaces, and their relation to the linear case. The Danish National Science Research Council is gratefully acknowledged for providing financial support for the workshop under grant no. 9502164."

This book develops a modern presentation of Continuum Mechanics, oriented towards numerical applications in the ?elds of nonlinear analysis of solids, structures and ?uids. Kinematics of the continuum deformation, including pull-back/push-forward transformations between di erent con?gurations; stress and strain measures; objective stress rate and strain rate measures; balance principles; constitutive relations, with emphasis on elasto-plasticity of metals and variational prin- ples are developed using general curvilinear coordinates. Being tensor analysis the indispensable tool for the development of the continuum theory in general coordinates, in the appendix an overview of t- soranalysisisalsopresented. Embedded in the theoretical presentation, application examples are dev- oped to deepen the understanding of the discussed concepts. Even though the mathematical presentation of the di erent topics is quite rigorous; an e ort is made to link formal developments with engineering ph- ical intuition. This book is based on two graduate courses that the authors teach at the Engineering School of the University of Buenos Aires and it is intended for graduate engineering students majoring in mechanics and for researchers in the ?elds of applied mechanics and numerical methods. VIII Preface I am grateful to Klaus-Jurgen Bathe for introducing me to Computational Mechanics, for his enthusiasm, for his encouragement to undertake challenges and for his friendship."

curvilinear coordinates. This treatment includes in particular a direct proof of the three-dimensional Korn inequality in curvilinear coordinates. The fourth and last chapter, which heavily relies on Chapter 2, begins by a detailed description of the nonlinear and linear equations proposed by W.T. Koiter for modeling thin elastic shells. These equations are "two-dimensional," in the sense that they are expressed in terms of two curvilinear coordinates used for de?ning the middle surface of the shell. The existence, uniqueness, and regularity of solutions to the linear Koiter equations is then established, thanks this time to a fundamental "Korn inequality on a surface" and to an "in?nit- imal rigid displacement lemma on a surface." This chapter also includes a brief introduction to other two-dimensional shell equations. Interestingly, notions that pertain to di?erential geometry per se, suchas covariant derivatives of tensor ?elds, are also introduced in Chapters 3 and 4, where they appear most naturally in the derivation of the basic boundary value problems of three-dimensional elasticity and shell theory. Occasionally, portions of the material covered here are adapted from - cerpts from my book "Mathematical Elasticity, Volume III: Theory of Shells," published in 2000by North-Holland, Amsterdam; in this respect, I am indebted to Arjen Sevenster for his kind permission to rely on such excerpts. Oth- wise, the bulk of this work was substantially supported by two grants from the Research Grants Council of Hong Kong Special Administrative Region, China Project No. 9040869, CityU 100803 and Project No. 9040966, CityU 100604].

In this book the authors develop and work out applications to gravity and gauge theories and their interactions with generic matter fields, including spinors in full detail. Spinor fields in particular appear to be the prototypes of truly gauge-natural objects, which are not purely gauge nor purely natural, so that they are a paradigmatic example of the intriguing relations between gauge natural geometry and physical phenomenology. In particular, the gauge natural framework for spinors is developed in this book in full detail, and it is shown to be fundamentally related to the interaction between fermions and dynamical tetrad gravity.

The book covers topics in the theory of algebraic transformation groups and algebraic varieties which are very much at the frontier of mathematical research.

Two surveys introducing readers to the subjects of harmonic analysis on semi-simple spaces and group theoretical methods, and preparing them for the study of more specialised literature. This book will be very useful to students and researchers in mathematics, theoretical physics and those chemists dealing with quantum systems.

The aim of this work is threefold: First it should be a monographical work on natural bundles and natural op erators in differential geometry. This is a field which every differential geometer has met several times, but which is not treated in detail in one place. Let us explain a little, what we mean by naturality. Exterior derivative commutes with the pullback of differential forms. In the background of this statement are the following general concepts. The vector bundle A kT* M is in fact the value of a functor, which associates a bundle over M to each manifold M and a vector bundle homomorphism over f to each local diffeomorphism f between manifolds of the same dimension. This is a simple example of the concept of a natural bundle. The fact that exterior derivative d transforms sections of A kT* M into sections of A k+1T* M for every manifold M can be expressed by saying that d is an operator from A kT* M into A k+1T* M."

The relation between quantum theory and the theory of gravitation remains one of the most outstanding unresolved issues of modern physics. According to general expectation, general relativity as well as quantum (field) theory in a fixed background spacetime cannot be fundamentally correct. Hence there should exist a broader theory comprising both in appropriate limits, i.e., quantum gravity. This book gives readers a comprehensive introduction accessible to interested non-experts to the main issues surrounding the search for quantum gravity. These issues relate to fundamental questions concerning the various formalisms of quantization; specific questions concerning concrete processes, like gravitational collapse or black-hole evaporation; and the all important question concerning the possibility of experimental tests of quantum-gravity effects.

The present volume is an introduction to nonlinear waves and soliton theory in the special environment of compact spaces such as closed curves and surfaces and other domain contours.

The first part of the book introduces the mathematical concept required for treating the manifolds considered. An introduction to the theory of motion of curves and surfaces is given. The second and third parts discuss the modeling of various physical solitons on compact systems.

This volume contains revised papers that were presented at the international workshop entitled Computational Methods for Algebraic Spline Surfaces ("COMPASS"), which was held from September 29 to October 3, 2003, at Schloss Weinberg, Kefermarkt (A- tria). The workshop was mainly devoted to approximate algebraic geometry and its - plications. The organizers wanted to emphasize the novel idea of approximate implici- zation, that has strengthened the existing link between CAD / CAGD (Computer Aided Geometric Design) and classical algebraic geometry. The existing methods for exact implicitization (i. e., for conversion from the parametric to an implicit representation of a curve or surface) require exact arithmetic and are too slow and too expensive for industrial use. Thus the duality of an implicit representation and a parametric repres- tation is only used for low degree algebraic surfaces such as planes, spheres, cylinders, cones and toroidal surfaces. On the other hand, this duality is a very useful tool for - veloping ef?cient algorithms. Approximate implicitization makes this duality available for general curves and surfaces. The traditional exact implicitization of parametric surfaces produce global rep- sentations, which are exact everywhere. The surface patches used in CAD, however, are always de?ned within a small box only; they are obtained for a bounded parameter domain (typically a rectangle, or - in the case of "trimmed" surface patches - a subset of a rectangle). Consequently, a globally exact representation is not really needed in practice."

The present book is a translation and an expansion of lecture notes cor- sponding to a course of Mathematics of Control delivered during four years at the Ecole Nationale des Ponts et Chauss ees (Marne-la-Vall ee, France) to Master students. A reduced version of this course has also been given at the Master level at the University of Paris-Sud since eight years. It may the- fore serve as lecture notes for teaching at the Master or PhD level but also as a comprehensive introduction to researchers interested in atness and more generally in the mathematical theory of nite dimensional systems and c- trol. This book may be seen as an outcome of the applied research policy pi- oneered by the Ecole des Mines de Paris (now MINES-ParisTech), France, aiming not only at academic excellence, but also at collaborating with - dustries on speci c innovative projects to enhance technological innovation using the most advanced know-how. This in uence, though indirectly visible, mainly concerns the originality of some of the topics addressed here which are, in a sense, a theoretic synthesis of the author's applied contributions and viewpoints in the control eld, continuously elaborated and modi ed in contact with the industrial realities. Such a synthesis wouldn't have been made possible without the scienti c trust and nancial support of many c- panies during periods ranging from two to ten years.

This collection of survey lectures in mathematics traces the career of Beno Eckmann, whose work ranges across a broad spectrum of mathematical concepts from topology 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 Technical University (ETH) at Zurich, as student, lecturer, professor, and professor emeritus.

General relativity ranks among the most accurately tested fundamental theories in all of physics. Deficiencies in mathematical and conceptual understanding still exist, hampering further progress. This book collects surveys by experts in mathematical relativity writing about the current status of, and problems in, their fields. There are four contributions for each of the following mathematical areas: differential geometry and differential topology, analytical methods and differential equations, and numerical methods.

From the reviews of the 1st edition:

"This book provides a comprehensive and detailed account of different topics in algorithmic 3-dimensional topology, culminating with the recognition procedure for Haken manifolds and including the up-to-date results in computer enumeration of 3-manifolds. Originating from lecture notes of various courses given by the author over a decade, the book is intended to combine the pedagogical approach of a graduate textbook (without exercises) with the completeness and reliability of a research monograph...

All the material, with few exceptions, is presented from the peculiar point of view of special polyhedra and special spines of 3-manifolds. This choice contributes to keep the level of the exposition really elementary.

In conclusion, the reviewer subscribes to the quotation from the back cover: "the book fills a gap in the existing literature and will become a standard reference for algorithmic 3-dimensional topology both for graduate students and researchers."

Zentralblatt fur Mathematik 2004

For this 2nd edition, new results, new proofs, and commentaries for a better orientation of the reader have been added. In particular, in Chapter 7 several new sections concerning applications of the computer program "3-Manifold Recognizer" have been included. "

The text of this book has its origins more than twenty- ve years ago. In the seminar of the Dutch Singularity Theory project in 1982 and 1983, the second-named author gave a series of lectures on Mixed Hodge Structures and Singularities, accompanied by a set of hand-written notes. The publication of these notes was prevented by a revolution in the subject due to Morihiko Saito: the introduction of the theory of Mixed Hodge Modules around 1985. Understanding this theory was at the same time of great importance and very hard, due to the fact that it uni es many di erent theories which are quite complicated themselves: algebraic D-modules and perverse sheaves. The present book intends to provide a comprehensive text about Mixed Hodge Theory with a view towards Mixed Hodge Modules. The approach to Hodge theory for singular spaces is due to Navarro and his collaborators, whose results provide stronger vanishing results than Deligne s original theory. Navarro and Guill en also lled a gap in the proof that the weight ltration on the nearby cohomology is the right one. In that sense the present book corrects and completes the second-named author s thesis."

Supermanifolds and Supergroups explains the basic ingredients of super manifolds and super Lie groups. It starts with super linear algebra and follows with a treatment of super smooth functions and the basic definition of a super manifold. When discussing the tangent bundle, integration of vector fields is treated as well as the machinery of differential forms. For super Lie groups the standard results are shown, including the construction of a super Lie group for any super Lie algebra. The last chapter is entirely devoted to super connections.

The book requires standard undergraduate knowledge on super differential geometry and super Lie groups.

The central object of this book is the measure of geometric quantities describing N a subset of the Euclidean space (E ,), endowed with its standard scalar product. Let us state precisely what we mean by a geometric quantity. Consider a subset N S of points of the N-dimensional Euclidean space E , endowed with its standard N scalar product. LetG be the group of rigid motions of E . We say that a 0 quantity Q(S) associated toS is geometric with respect toG if the corresponding 0 quantity Q[g(S)] associated to g(S) equals Q(S), for all g?G . For instance, the 0 diameter ofS and the area of the convex hull ofS are quantities geometric with respect toG . But the distance from the origin O to the closest point ofS is not, 0 since it is not invariant under translations ofS. It is important to point out that the property of being geometric depends on the chosen group. For instance, ifG is the 1 N group of projective transformations of E , then the property ofS being a circle is geometric forG but not forG , while the property of being a conic or a straight 0 1 line is geometric for bothG andG . This point of view may be generalized to any 0 1 subsetS of any vector space E endowed with a groupG acting on it.

This book is the first to systematically explore the classification and function theory of complex homogeneous bounded domains. The Siegel domains are discussed in detail, and proofs are presented. Using the normal Siegel domains to realize the homogeneous bounded domains, we can obtain more property of the geometry and the function theory on homogeneous bounded domains.

The first survey of its kind, written by internationally known, outstanding experts who developed substantial parts of the field. The book contains an introduction written by Remmert, describing the history of the subject, and is very useful to graduate students and researchers in complex analysis, algebraic geometry and differential geometry.

A detailed treatment of the geometric aspects of discrete groups was carried out by Raghunathan in his book "Discrete subgroups of Lie Groups" which appeared in 1972. In particular he covered the theory of lattices in nilpotent and solvable Lie groups, results of Mal'cev and Mostow, and proved the Borel density theorem and local rigidity theorem ofSelberg-Weil. He also included some results on unipotent elements of discrete subgroups as well as on the structure of fundamental domains. The chapters concerning discrete subgroups of semi simple Lie groups are essentially concerned with results which were obtained in the 1960's. The present book is devoted to lattices, i.e. discrete subgroups of finite covolume, in semi-simple Lie groups. By "Lie groups" we not only mean real Lie groups, but also the sets of k-rational points of algebraic groups over local fields k and their direct products. Our results can be applied to the theory of algebraic groups over global fields. For example, we prove what is in some sense the best possible classification of "abstract" homomorphisms of semi-simple algebraic group over global fields."

'Guillemin and HaineaEURO (TM)s goal is to construct a well-documented road map that extends undergraduate understanding of multivariable calculus into the theory of differential forms. Throughout, the authors emphasize connections between differential forms and topology while making connections to single and multivariable calculus via the change of variables formula, vector space duals, physics; classical mechanisms, div, curl, grad, BrouweraEURO (TM)s fixed-point theorem, divergence theorem, and StokesaEURO (TM)s theorem ... The exercises support, apply and justify the developing road map.'CHOICEThere already exist a number of excellent graduate textbooks on the theory of differential forms as well as a handful of very good undergraduate textbooks on multivariable calculus in which this subject is briefly touched upon but not elaborated on enough.The goal of this textbook is to be readable and usable for undergraduates. It is entirely devoted to the subject of differential forms and explores a lot of its important ramifications.In particular, our book provides a detailed and lucid account of a fundamental result in the theory of differential forms which is, as a rule, not touched upon in undergraduate texts: the isomorphism between the Cech cohomology groups of a differential manifold and its de Rham cohomology groups.

The process of breaking up a physical domain into smaller sub-domains, known as meshing, facilitates the numerical solution of partial differential equations used to simulate physical systems. In an updated and expanded Second Edition, this monograph gives a detailed treatment based on the numerical solution of inverted Beltramian and diffusion equations with respect to monitor metrics for generating both structured and unstructured grids in domains and on surfaces.

In the last few years the use of geometrie methods has permeated many more branehes of mathematies and the seiences. Briefly its role may be eharaeterized as folIows. Whereas methods of mathematieal analysis deseribe phenomena 'in the sm all " geometrie methods eontribute to giving the picture 'in the large'. A seeond no less important property of geometrie methods is the eonvenienee of using its language to deseribe and give qualitative explanations for diverse mathematieal phenomena and patterns. From this point of view, the theory of veetor bundles together with mathematieal analysis on manifolds (global anal- ysis and differential geometry) has provided a major stimulus. Its language turned out to be extremely fruitful: connections on prineipal veetor bundles (in terms of whieh various field theories are deseribed), transformation groups including the various symmetry groups that arise in eonneetion with physieal problems, in asymptotie methods of partial differential equations with small parameter, in elliptie operator theory, in mathematieal methods of classieal meehanies and in mathematieal methods in eeonomies. There are other eur- rently less signifieant applieations in other fields. Over a similar period, uni- versity edueation has ehanged eonsiderably with the appearanee of new courses on differential geometry and topology. New textbooks have been published but 'geometry and topology' has not, in our opinion, been wen eovered from a prae- tieal applieations point of view.

S.G. Gindikin, I.I. Pjateckii-Sapiro, E.B. Vinberg: Homogeneous K hler manifolds.- S.G. Greenfield: Extendibility properties of real submanifolds of Cn.- W. Kaup: Holomorphische Abbildungen in Hyperbolische R ume.- A. Koranyi: Holomorphic and harmonic functions on bounded symmetric domains.- J.L. Koszul: Formes harmoniques vectorielles sur les espaces localement sym triques.- S. Murakami: Plongements holomorphes de domaines sym triques.- E.M. Stein: The analogues of Fatous 's theorem and estimates for maximal functions.

In the 60's, the work of Anderson, Chernavski, Kirby and Edwards showed that the group of homeomorphisms of a smooth manifold which are isotopic to the identity is a simple group. This led Smale to conjecture that the group Diff'" (M)o of cr diffeomorphisms, r ~ 1, of a smooth manifold M, with compact supports, and isotopic to the identity through compactly supported isotopies, is a simple group as well. In this monograph, we give a fairly detailed proof that DifF(M)o is a simple group. This theorem was proved by Herman in the case M is the torus rn in 1971, as a consequence of the Nash-Moser-Sergeraert implicit function theorem. Thurston showed in 1974 how Herman's result on rn implies the general theorem for any smooth manifold M. The key idea was to vision an isotopy in Diff'"(M) as a foliation on M x [0, 1]. In fact he discovered a deep connection between the local homology of the group of diffeomorphisms and the homology of the Haefliger classifying space for foliations. Thurston's paper [180] contains just a brief sketch of the proof. The details have been worked out by Mather [120], [124], [125], and the author [12]. This circle of ideas that we call the "Thurston tricks" is discussed in chapter 2. It explains how in certain groups of diffeomorphisms, perfectness leads to simplicity. In connection with these ideas, we discuss Epstein's theory [52], which we apply to contact diffeomorphisms in chapter 6.