This reference work deals with important topics in general topology and their role in functional analysis and axiomatic set theory, for graduate students and researchers working in topology, functional analysis, set theory and probability theory. It provides a guide to recent research findings, with three contributions by Arhangel'skii and Choban.

This is the second edition of this best selling problem book for students, now containing over 400 completely solved exercises on differentiable manifolds, Lie theory, fibre bundles and Riemannian manifolds. The exercises go from elementary computations to rather sophisticated tools. Many of the definitions and theorems used throughout are explained in the first section of each chapter where they appear. A 56-page collection of formulae is included which can be useful as an aide-memoire, even for teachers and researchers on those topics. In this 2nd edition: * 76 new problems * a section devoted to a generalization of Gauss' Lemma * a short novel section dealing with some properties of the energy of Hopf vector fields * an expanded collection of formulae and tables * an extended bibliography Audience This book will be useful to advanced undergraduate and graduate students of mathematics, theoretical physics and some branches of engineering with a rudimentary knowledge of linear and multilinear algebra.

This book considers signal processing and physical modeling meth ods for sound synthesis. Such methods are useful for example in mu sic synthesizers, computer sound cards, and computer games. Physical modeling synthesis has been commercialized for the first time about 10 years ago. Recently, it has been one of the most active research topics in musical acoustics and computer music. The authors of this book, Dr. Lutz Trautmann and Dr. Rudolf Rabenstein, are active researchers and inventors in the field of sound synthesis. Together they have developed a new synthesis technique, called the functional transformation method, which can be used for pro ducing musical sound in real time. Before this book, they have published over 20 papers on the topic in journals and conference proceedings. In this excellent textbook, the results are combined in a single volume. I believe that this will be considered an important step forward for the whole community."

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.

This monograph is mostly devoted to the problem of the geome- trizing of Lagrangians which depend on higher order accelerations. It naturally prolongs the theme of the monograph "The Geometry of La- grange spaces: Theory and Applications", written together with M. Anastasiei and published by Kluwer Academic Publishers in 1994. The existence of Lagrangians of order k > 1 has been contemplated by mechanicists and physicists for a long time. Einstein had grasped their presence in connection with the Brownian motion. They are also present in relativistic theories based on metrics which depend on speeds and accelerations of particles or in the Hamiltonian formulation of non- linear systems given by Korteweg-de Vries equations. There resulted from here the methods to be adopted in their theoretical treatment. One is based on the variational problem involving the integral action of the Lagrangian. A second one is derived from the axioms of Analytical Mechanics involving the Poincare-Cartan forms. The geometrical methods based on the study of the geometries of higher order could invigorate the whole theory. This is the way adopted by us in defining and studying the Lagrange spaces of higher order. The problems raised by the geometrization of Lagrangians of order k > 1 investigated by many scholars: Ch. Ehresmann, P. Libermann, J. Pommaret; J.T. Synge, M. Crampin, P. Saunders; G.S. Asanov, P.Aringazin; I. Kolar, D. Krupka; M. de Leon, W. Sarlet, P. Cantrjin, H. Rund, W.M. Tulczyjew, A. Kawaguchi, K. Yano, K. Kondo, D.

na broad sense Design Science is the grammar of a language of images Irather than of words. Modern communication techniques enable us to transmit and reconstitute images without needing to know a specific verbal sequence language such as the Morse code or Hungarian. International traffic signs use international image symbols which are not specific to any particular verbal language. An image language differs from a verbal one in that the latter uses a linear string of symbols, whereas the former is multi dimensional. Architectural renderings commonly show projections onto three mutual ly perpendicular planes, or consist of cross sections at different altitudes capa ble of being stacked and representing different floor plans. Such renderings make it difficult to imagine buildings comprising ramps and other features which disguise the separation between floors, and consequently limit the cre ative process of the architect. Analogously, we tend to analyze natural struc tures as if nature had used similar stacked renderings, rather than, for instance, a system of packed spheres, with the result that we fail to perceive the system of organization determining the form of such structures. Perception is a complex process. Our senses record; they are analogous to audio or video devices. We cannot, however, claim that such devices perceive."

In the 1970s Hirzebruch and Zagier produced elliptic modular forms with coefficients in the homology of a Hilbert modular surface. They then computed the Fourier coefficients of these forms in terms of period integrals and L-functions. In this book the authors take an alternate approach to these theorems and generalize them to the setting of Hilbert modular varieties of arbitrary dimension. The approach is conceptual and uses tools that were not available to Hirzebruch and Zagier, including intersection homology theory, properties of modular cycles, and base change. Automorphic vector bundles, Hecke operators and Fourier coefficients of modular forms are presented both in the classical and adelic settings. The book should provide a foundation for approaching similar questions for other locally symmetric spaces.

In recent times it has been stated that many dynamical systems of classical mathematical physics and mechanics are endowed with symplectic structures, given in the majority of cases by Poisson brackets. Very often such Poisson structures on corresponding manifolds are canonical, which gives rise to the possibility of producing their hidden group theoretical essence for many completely integrable dynamical systems. It is a well understood fact that great part of comprehensive integrability theories of nonlinear dynamical systems on manifolds is based on Lie-algebraic ideas, by means of which, in particular, the classification of such compatibly bi Hamiltonian and isospectrally Lax type integrable systems has been carried out. Many chapters of this book are devoted to their description, but to our regret so far the work has not been completed. Hereby our main goal in each analysed case consists in separating the basic algebraic essence responsible for the complete integrability, and which is, at the same time, in some sense universal, i. e., characteristic for all of them. Integrability analysis in the framework of a gradient-holonomic algorithm, devised in this book, is fulfilled through three stages: 1) finding a symplectic structure (Poisson bracket) transforming an original dynamical system into a Hamiltonian form; 2) finding first integrals (action variables or conservation laws); 3) defining an additional set of variables and some functional operator quantities with completely controlled evolutions (for instance, as Lax type representation)."

"A very attractive feature of the book is the numerous examples illustrating the methods. A fine collection of exercises enriches each chapter, challenging the reader to check his progress in understanding the methods".Mathematical Reviews"As an introductory book to asymptotics, with chapters on uniform asymptotics and exponential asymptotics, this book clearly fills a gap it has a friendly size and contains many convincing numerical examples and interesting exercises. Hence, I recommend the book to everyone who works in asymptotics".SIAM, 1998" it is an excellent book that contains interesting results and methods for the researchers. It will be useful for the students interested in analysis and lectures on asymptotic methods The reviewer recommends the book to everyone who is interested in analysis, engineers and specialists in ODE-s"Acta Sci. Math. (Szeged), 1999

Asisknown,theLagrangeandHamiltongeometrieshaveappearedrelatively recently [76, 86]. Since 1980thesegeometrieshave beenintensivelystudied bymathematiciansandphysicistsfromRomania,Canada,Germany,Japan, Russia, Hungary,e.S.A. etc. PrestigiousscientificmeetingsdevotedtoLagrangeandHamiltongeome- tries and their applications have been organized in the above mentioned countries and a number ofbooks and monographs have been published by specialists in the field: R. Miron [94, 95], R. Mironand M. Anastasiei [99, 100], R. Miron, D. Hrimiuc, H. Shimadaand S.Sabau [115], P.L. Antonelli, R. Ingardenand M.Matsumoto [7]. Finslerspaces,whichformasubclassof theclassofLagrangespaces, havebeenthesubjectofsomeexcellentbooks, forexampleby:Yl.Matsumoto[76], M.AbateandG.Patrizio[1],D.Bao,S.S. Chernand Z.Shen [17]andA.BejancuandH.R.Farran [20]. Also, wewould liketopointoutthemonographsofM. Crampin [34], O.Krupkova [72] and D.Opri~,I.Butulescu [125],D.Saunders [144],whichcontainpertinentappli- cationsinanalyticalmechanicsandinthetheoryofpartialdifferentialequa- tions. Applicationsinmechanics, cosmology,theoreticalphysicsandbiology can be found in the well known books ofP.L. Antonelliand T.Zawstaniak [11], G. S. Asanov [14]' S. Ikeda [59], :VI. de LeoneandP.Rodrigues [73]. TheimportanceofLagrangeandHamiltongeometriesconsistsofthefact that variational problems for important Lagrangiansor Hamiltonians have numerous applicationsinvariousfields, such asmathematics, thetheoryof dynamicalsystems, optimalcontrol, biology,andeconomy. Inthisrespect, P.L. Antonelli'sremark isinteresting: "ThereisnowstrongevidencethatthesymplecticgeometryofHamilto- niandynamicalsystemsisdeeplyconnectedtoCartangeometry,thedualof Finslergeometry", (seeV.I.Arnold,I.M.GelfandandV.S.Retach [13]). The above mentioned applications have also imposed the introduction x RaduMiron ofthe notionsofhigherorder Lagrangespacesand, ofcourse, higherorder Hamilton spaces. The base manifolds ofthese spaces are bundles ofaccel- erations ofsuperior order. The methods used in the construction ofthese geometries are the natural extensions ofthe classical methods used in the edification ofLagrange and Hamilton geometries. These methods allow us to solvean old problemofdifferentialgeometryformulated by Bianchiand Bompiani [94]morethan 100yearsago,namelytheproblemofprolongation ofaRiemannianstructure gdefinedonthebasemanifoldM,tothetangent k bundleT M, k> 1. Bymeansofthissolutionofthe previousproblem, we canconstruct, for thefirst time,goodexamplesofregularLagrangiansand Hamiltoniansofhigherorder.

Designed for a junior-senior level course for mathematics majors, including those who plan to teach in secondary school. The first chapter presents several finite geometries in an axiomatic framework, while Chapter 2 continues the synthetic approach in introducing both Euclids and ideas of non-Euclidean geometry. There follows a new introduction to symmetry and hands-on explorations of isometries that precedes an extensive analytic treatment of similarities and affinities. Chapter 4 presents plane projective geometry both synthetically and analytically, and the new Chapter 5 uses a descriptive and exploratory approach to introduce chaos theory and fractal geometry, stressing the self-similarity of fractals and their generation by transformations from Chapter 3. Throughout, each chapter includes a list of suggested resources for applications or related topics in areas such as art and history, plus this second edition points to Web locations of author-developed guides for dynamic software explorations of the Poincaré model, isometries, projectivities, conics and fractals. Parallel versions are available for "Cabri Geometry" and "Geometers Sketchpad".

In 2006 a special semester on Gr] obner bases and related methods was or- nized by RICAM and RISC, directed by Bruno Buchberger and Heinz Engl. The main focus of the semester were the development of the formal theory of Gr] obner bases (brie?y GB), the e?cient implementation of all algorithms related to this theory, and the promotion of recent and new applications of GB. The workshop D1 "Gr] obner bases in cryptography, coding theory and - gebraic combinatorics," Linz, May 1-6, 2006 (chairmen M. Klin, L. Perret, M. Sala) was one of the main ingredients of the semester. The last two days of this workshop, devoted to combinatorics, made it possible to bring together experts in algorithmic problems related to coherent con?gurations and as- ciation schemes with a community of people working in the area of GB. Each side was interested in understanding the computational problems and current algorithmicpossibilitiesoftheother, withaparticularobjectiveofintroducing the practical use of GB in algebraic combinatorics. Materials (mainly slides of lectures and posters) available from the site http: //www.ricam.oeaw.ac.at/specsem/srs/groeb/schedule D1.htmlprovidea helpful and vivid picture of the successful exchange of scienti?c information during the workshop D1. Asafollow-uptothespecialsemester,10volumesofproceedingsarebeing published by di?erent publishers. The current collection of papers re?ects diverse investigations in the area of algebraic combinatorics (with or without explicit use of GB), but with a de?nite emphasis on algorithmic approaches."

This book illustrates the broad range of Jerry Marsden's mathematical legacy in areas of geometry, mechanics, and dynamics, from very pure mathematics to very applied, but always with a geometric perspective. Each contribution develops its material from the viewpoint of geometric mechanics beginning at the very foundations, introducing readers to modern issues via illustrations in a wide range of topics. The twenty refereed papers contained in this volume are based on lectures and research performed during the month of July 2012 at the Fields Institute for Research in Mathematical Sciences, in a program in honor of Marsden's legacy. The unified treatment of the wide breadth of topics treated in this book will be of interest to both experts and novices in geometric mechanics. Experts will recognize applications of their own familiar concepts and methods in a wide variety of fields, some of which they may never have approached from a geometric viewpoint. Novices may choose topics that interest them among the various fields and learn about geometric approaches and perspectives toward those topics that will be new for them as well.

Despite the fact that Maple V has become one of the most popular computer algebra systems on the market, surprisingly few users realize its potential in the field of scientific visualization. The purpose of this book is to equip the reader with a variety of graphics tools needed on the voyage of discovery into the complex and often beautiful world of curves and surfaces. A comprehensive treatment of Maple's graphics commands and structures is combined with an introduction to the main aspects of visual perception. Top priority is given to the use of light, color, perspective, and geometric transformations. Numerous examples, accompanied by pictures (many in color), cover all aspects of Maple graphics. The examples can be easily customized to suit the individual needs of the reader. The approach is context independent, and as such will appeal to students, educators, and researchers in a broad spectrum of scientific disciplines. For the general user at any level of experience, this book can serve as a comprehensive reference manual. For the beginner, it offers a user- friendly elementary introduction to the subject, with mathematical requirements kept to a minimum. For those interested in advanced mathematical visualization, it explains how to maximize Maple's graphical capabilities. In particular, this book shows how to turn Maple into an excellent modeling tool capable of generating elaborate surfaces that conventional modelers cannot produce. These surfaces can be exported to an external ray tracer (e.g. POV-ray) for sophisticated photo-realistic rendering. All of the Maple code segments which are presented in the book, as well as high-resolution pictures showing alternative renderingsof some of the book's color plates, are included on the accompanying DOS diskette.

Several techniques have been developed in the literature for processing different aspects of the geometry of shapes, for representing and manipulating a shape at different levels of detail, and for describing a shape at a structural level as a concise, part-based, or iconic model. Such techniques are used in many different contexts, such as industrial design, biomedical applications, entertainment, environmental monitoring, or cultural heritage. This book covers a variety of topics related to preserving and enhancing shape information at a geometric level, and to effectively capturing the structure of a shape by identifying relevant shape components and their mutual relationships.

We have tried to design this book for both instructional and reference use, during and after a first course in algebraic topology aimed at users rather than developers; indeed, the book arose from such courses taught by the authors. We start gently, with numerous pictures to illustrate the fundamental ideas and constructions in homotopy theory that are needed in later chapters. A certain amount of redundancy is built in for the reader's convenience: we hope to minimize: fiipping back and forth, and we have provided some appendices for reference. The first three are concerned with background material in algebra, general topology, manifolds, geometry and bundles. Another gives tables of homo topy groups that should prove useful in computations, and the last outlines the use of a computer algebra package for exterior calculus. Our approach has been that whenever a construction from a proof is needed, we have explicitly noted and referenced this. In general, wehavenot given a proof unless it yields something useful for computations. As always, the only way to un derstand mathematics is to do it and use it. To encourage this, Ex denotes either an example or an exercise. The choice is usually up to you the reader, depending on the amount of work you wish to do; however, some are explicitly stated as ( unanswered) questions. In such cases, our implicit claim is that you will greatly benefit from at least thinking about how to answer them."

In this text, integral geometry deals with Radon's problem of representing a function on a manifold in terms of its integrals over certain submanifolds-hence the term the Radon transform. Examples and far-reaching generalizations lead to fundamental problems such as: (i) injectivity, (ii) inversion formulas, (iii) support questions, (iv) applications (e.g., to tomography, partial di erential equations and group representations). For the case of the plane, the inversion theorem and the support theorem have had major applications in medicine through tomography and CAT scanning. While containing some recent research, the book is aimed at beginning graduate students for classroom use or self-study. A number of exercises point to further results with documentation. From the reviews: "Integral Geometry is a fascinating area, where numerous branches of mathematics meet together. the contents of the book is concentrated around the duality and double vibration, which is realized through the masterful treatment of a variety of examples. the book is written by an expert, who has made fundamental contributions to the area." -Boris Rubin, Louisiana State University

This book is the result of many years of research in Non-Euclidean Geometries and Geometry of Lie groups, as well as teaching at Moscow State University (1947- 1949), Azerbaijan State University (Baku) (1950-1955), Kolomna Pedagogical Col lege (1955-1970), Moscow Pedagogical University (1971-1990), and Pennsylvania State University (1990-1995). My first books on Non-Euclidean Geometries and Geometry of Lie groups were written in Russian and published in Moscow: Non-Euclidean Geometries (1955) [Ro1] , Multidimensional Spaces (1966) [Ro2] , and Non-Euclidean Spaces (1969) [Ro3]. In [Ro1] I considered non-Euclidean geometries in the broad sense, as geometry of simple Lie groups, since classical non-Euclidean geometries, hyperbolic and elliptic, are geometries of simple Lie groups of classes Bn and D , and geometries of complex n and quaternionic Hermitian elliptic and hyperbolic spaces are geometries of simple Lie groups of classes An and en. [Ro1] contains an exposition of the geometry of classical real non-Euclidean spaces and their interpretations as hyperspheres with identified antipodal points in Euclidean or pseudo-Euclidean spaces, and in projective and conformal spaces. Numerous interpretations of various spaces different from our usual space allow us, like stereoscopic vision, to see many traits of these spaces absent in the usual space.

The Bia owie a workshops on Geometric Methods in Physics are among the most important meetings in the field. Every year some 80 to 100 participants from both mathematics and physics join to discuss new developments and to interchange ideas. This volume contains contributions by selected speakers at the XXX meeting in 2011 as well as additional review articles and shows that the workshop remains at the cutting edge of ongoing research.

The 2011 workshop focussed on the works of the late Felix A. Berezin (1931 1980) on the occasion of his 80th anniversary as well as on Bogdan Mielnik and Stanis aw Lech Woronowicz on their 75th and 70th birthday, respectively. The groundbreaking work of Berezin is discussed from today s perspective by presenting an overview of his ideas and their impact on further developments. He was, among other fields, active in representation theory, general concepts of quantization and coherent states, supersymmetry and supermanifolds.

Another focus lies on the accomplishments of Bogdan Mielnik and Stanis aw Lech Woronowicz. Mielnik s geometricapproach to the description of quantum mixed states, the method of quantum state manipulation and their important implications for quantum computing and quantum entanglement are discussed as well as the intricacies of the quantum time operator. Woronowicz fruitful notion of a compact quantum group and related topics are also addressed."

This volume presents a selection of papers by Henry P. McKean, which illustrate the various areas in mathematics in which he has made seminal contributions. Topics covered include probability theory, integrable systems, geometry and financial mathematics. Each paper represents a contribution by Prof. McKean, either alone or together with other researchers, that has had a profound influence in the respective area.

The object of this book is to introduce the reader to some of the most important techniques of modern global geometry. It mainly deals with global questions and in particular the interdependence of geometry and topology, global and local. Algebraico-topological techniques are developed in the special context of smooth manifolds. The book discusses the DeRham cohomology and its ramifications: Poincare, duality, intersection theory, degree theory, Thom isomorphism, characteristic classes, Gauss-Bonnet etc. The authors seek to calculate the cohomology groups of as many as possible concrete examples without relying on the apparatus of homotopy theory (CW-complexes etc). Elliptic partial differential equations are also featured, requiring a familiarity with functional analysis. It describes the proofs of elliptic Lp and Holder estimates (assuming some deep results of harmonic analysis) for arbitrary elliptic operators with smooth coefficients. The book closes with alook at a class of elliptic operators, the Dirac operators. It discusses their algebraic structure in some detail, Weizenbock formulae and many concrete examples.

This volume contains six sets of notes for lectures on the foundations of geometry held by Hilbert in the period 1891-1902. It also reprints the first edition of Hilbert's celebrated Grundlagen der Geometrie of 1899, together with the important additions which appeared first in the French translation of 1900. The lectures document the emergence of a new approach to foundational study and contain many reflections and investigations which never found their way into print.

The school, the book This book is based on lectures given by the authors of the various chapters in a three week long CIMPA summer school, held in Sophia-Antipolis (near Nice) in July 1992. The first week was devoted to the basics of symplectic and Riemannian geometry (Banyaga, Audin, Lafontaine, Gauduchon), the second was the technical one (Pansu, Muller, Duval, Lalonde and Sikorav). The final week saw the conclusion ofthe school (mainly McDuffand Polterovich, with complementary lectures by Lafontaine, Audin and Sikorav). Globally, the chapters here reflect what happened there. Locally, we have tried to reorganise some ofthe material to make the book more coherent. Hence, for instance, the collective (Audin, Lalonde, Polterovich) chapter on Lagrangian submanifolds and the appendices added to some of the chapters. Duval was not able to write up his lectures, so that genuine complex analysis will not appear in the book, although it is a very current tool in symplectic and contact geometry (and conversely). Hamiltonian systems and variational methods were the subject of some of Sikorav's talks, which he also was not able to write up. On the other hand, F. Labourie, who could not be at the school, wrote a chapter on pseudo-holomorphic curves in Riemannian geometry.

This volume is the conference proceedings of the NATO ARW during August 2001 at Kananaskis Village, Canada on "New Techniques in Topological Quantum Field Theory." This conference brought together specialists from a number of different fields all related to Topological Quantum Field Theory. The theme of this conference was to attempt to find new methods in quantum topology from the interaction with specialists in these other fields.

The featured articles include papers by V. Vassiliev on combinatorial formulas for cohomology of spaces of Knots, the computation of Ohtsuki series by N. Jacoby and R. Lawrence, and a paper by M. Asaeda and J. Przytycki on the torsion conjecture for Khovanov homology by Shumakovitch. Moreover, there are articles on more classical topics related to manifolds and braid groups by such well known authors as D. Rolfsen, H. Zieschang and F. Cohen.