Process calculi are among the most successful models of concurrent systems. Various behavior equivalences between processes are central notions in CCS (calculus of communicating systems) and other process calculi. In the real applications, specification and implementation are described as two processes, and correctness of programs is treated as a certain behavior equivalence between them. The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. This book is restricted to CCS for simplicity, but the main idea also applies to some other process calculi. The concept of bisimulation limits, useful for the understanding and analysis of infinite evolution of processes, is introduced. In addition, the notions of near bisimulations and bisimulation indexes, suitable in describing approximate correctness of concurrent programs, are proposed. The book will be of particular interest to researchers in the fields of theoretical computer science, especially theory of concurrency and hybrid systems, and graduate students in related disciplines. It will also be valuable to practical system designers developing concurrent and/or real-time systems.

Algebraic Geometry provides an impressive theory targeting the understanding of geometric objects defined algebraically. Geometric Modeling uses every day, in order to solve practical and difficult problems, digital shapes based on algebraic models. In this book, we have collected articles bridging these two areas. The confrontation of the different points of view results in a better analysis of what the key challenges are and how they can be met. We focus on the following important classes of problems: implicitization, classification, and intersection. The combination of illustrative pictures, explicit computations and review articles will help the reader to handle these subjects.

From whatever domain they come, engineers are faced daily with optimization problems that requires conflicting objectives to be met. This monograph systematically presents several multiobjective optimization methods accompanied by many analytical examples. Each method or definition is clarified, when possible, by an illustration. Multiobjective Optimization treats not only engineering problems, e.g in mechanics, but also problems arising in operations research and management. It explains how to choose the most suitable method to solve a given problem and uses three primary application examples: optimization of the numerical simulation of an industrial process; sizing of a telecommunication network; and decision-aid tools for the sorting of bids. This book is intended for engineering students, and those in applied mathematics, algorithmics, economics (operational research), production management, and computer scientists.

In 1978, in the foreword to Weeding and Sowing: A Preface to a Science of Mathematics Education, Hans Freudenthal wrote that his book is a preface to a science that does not exist. Almost 20 years later, does his claim still hold true? The present book is the result of the reflection of many individuals in mathematics education on this and related questions. Is mathematics education a science? Is it a discipline? In what sense? What is its place within other domains of research and academic disciplines? What accounts for its specificity? In the book, the reader will find a range of possible answers to these questions, a variety of analyses of the actual directions of research in different countries, and a number of visions for the future of research in mathematics education. The book is a result of an ICMI Study, whose theme was formulated as: What is Research in Mathematics Education and What are Its Results?'. One important outcome of this study was the realization of the reasons for the difficulty of the questions that the study was posing, leading possibly to a set of other questions, better suited to the actual concerns and research practices of mathematics education researchers. The book addresses itself to researchers in mathematics education and all those working in their neighborhood who are concerned with the problems of the definition of this new scientific domain emerging at their borders.

(Very preliminary)A tribute to the vision and legacy of Israel Gelfand, the invited papers in this volume reflect the unity of mathematics as a whole, with particular emphasis on the many connections among the fields of geometry, physics, and representation theory. Written by leading mathematicians, the text is broadly divided into two sections: the first is devoted to developments at the intersection of geometry and physics, and the second to representation theory and algebraic geometry. Topics include conformal field theory, K-theory, noncommutative geometry, gauge theory, representations of infinite-dimensional Lie algebras, and various aspects of the Langlands program. Graduate students and researchers will benefit from and find inspiration in this broad and unique work, which brings together fundamental results in a number of disciplines and highlights the rewards of an interdisciplinary approach to mathematics and physics.Contributors: M. Atiyah, A. Beilinson, J. Bernstein, A. Connes, P. Deligne, R. Dijkgraaf, D. Gaitsgory, M. Gromov, F. Hirzebruch, M. Hopkins, D. Kazhdan, F. Kirwan, M. Kontsevich, B. Kostant, G. Lusztig, D. McDuff, H. Nakajima, S. Novikov, P. Sarnak, A.

This is the second volume of the procedings of the second European Congress of Mathematics. Volume I presents the speeches delivered at the Congress, the list of lectures, and short summaries of the achievements of the prize winners. Together with volume II it contains a collection of contributions by the invited lecturers. Finally, volume II also presents reports on some of the Round Table discussions. This two-volume set thus gives an overview of the state of the art in many fields of mathematics and is therefore of interest to every professional mathematician. Contributors: Vol. I: N. Alon, L. Ambrosio, K. Astala, R. Benedetti, Ch. Bessenrodt, F. Bethuel, P. BjA, rstad, E. Bolthausen, J. Bricmont, A. Kupiainen, D. Burago, L. Caporaso, U. Dierkes, I. Dynnikov, L.H. Eliasson, W.T. Gowers, H. Hedenmalm, A. Huber, J. Kaczorowski, J. KollAr, D.O. Kramkov, A.N. Shiryaev, C. Lescop, R. MArz. Vol. II: J. Matousek, D. McDuff, A.S. Merkurjev, V. Milman, St. MA1/4ller, T. Nowicki, E. Olivieri, E. Scoppola, V.P. Platonov, J. PAschel, L. Polterovich, L. Pyber, N. SimAnyi, J.P. Solovej, A. Stipsicz, G. Tardos, J.-P. Tignol, A.P. Veselov, E. Zuazua.

"Elsevier's Dictionary of Mathematics" contains 11,652 entries with more than 4,750 cross-references. Selection of the terms was based either on their significance or on their frequency of use according to authoritative encyclopedias, dictionaries and textbooks. Included are both modern developments and contemporary changes in terminology as well as recently established terms.

The terminology covers all the major branches from elementary to advanced subjects: arithmetic, algebra, geometry, set theory, discrete mathematics, logic, Boolean algebra, linear algebra, matrix algebra, calculus, differential equations, vector algebra, field theory, probability theory and statistics, optimization, numerical methods, mathematical programming, modern algebra, algebraic structures, computer algebra, category theory, applied mathematics, theory of automata and formal languages, theory of games, theory of graphs, as well as some commonly used entries in computer architecture, hardware, communications, system and application software, microprogramming, etc.

This work will provide readers, writers and translators with a guide of the most widely used terms and collections in the area, and will prove to be a useful tool for all professionals exploring the multilingual scientific terminology.

This volume presents original research articles and extended surveys related to the mathematical interest and work of Jean-Michel Bismut. His outstanding contributions to probability theory and global analysis on manifolds have had a profound impact on several branches of mathematics in the areas of control theory, mathematical physics and arithmetic geometry. Contributions by: K. Behrend N. Bergeron S. K. Donaldson J. Dubedat B. Duplantier G. Faltings E. Getzler G. Kings R. Mazzeo J. Millson C. Moeglin W. Muller R. Rhodes D. Roessler S. Sheffield A. Teleman G. Tian K-I. Yoshikawa H. Weiss W. Werner The collection is a valuable resource for graduate students and researchers in these fields.

In unserer technisierten Welt stossen wir uberall auf Mathematik. Mathematik ist eine Basiswissenschaft und der Schlussel fur bahnbrechende Innovationen. Sie macht viele Produkte und Dienstleistungen uberhaupt erst moglich und ist damit ein wichtiger Produktions- und Wettbewerbsfaktor.

Im vorliegenden Buch berichten 19 grosse internationale Unternehmen sowie die Bundesagentur fur Arbeit wie unverzichtbar Mathematik fur ihren Erfolg heute geworden ist. Ein spannender und lehrreicher Einblick in die Mathematik, der mit oft zitierten und negativen Vorurteilen grundlich aufraumt."

During the years 1903-1914, Ramanujan recorded many of his mathematical discoveries in notebooks without providing proofs. Although many of his results were already in the literature, more were not. Almost a decade after Ramanujan's death in 1920, G.N. Watson and B.M. Wilson began to edit his notebooks but never completed the task. A photostat edition, with no editing, was published by the Tata Institute of Fundamental Research in Bombay in 1957. This book is the second of four volumes devoted to the editing of Ramanujan's Notebooks. Part I, published in 1985, contains an account of Chapters 1-9 in the second notebook as well as a description of Ramanujan's quarterly reports. In this volume, we examine Chapters 10-15 in Ramanujan's second notebook. If a result is known, we provide references in the literature where proofs may be found; if a result is not known, we attempt to prove it. Not only are the results fascinating, but, for the most part, Ramanujan's methods remain a mystery. Much work still needs to be done. We hope readers will strive to discover Ramanujan's thoughts and further develop his beautiful ideas.

Walter Gautschi has written extensively on topics ranging from special functions, quadrature and orthogonal polynomials to difference and differential equations, software implementations, and the history of mathematics. He is world renowned for his pioneering work in numerical analysis and constructive orthogonal polynomials, including a definitive textbook in the former, and a monograph in the latter area. This three-volume set, Walter Gautschi: Selected Works with Commentaries, is a compilation of Gautschi s most influential papers and includes commentaries by leading experts. The work begins with a detailed biographical section and ends with a section commemorating Walter s prematurely deceased twin brother. This title will appeal to graduate students and researchers in numerical analysis, as well as to historians of science. Selected Works with Commentaries, Vol. 1 Numerical Conditioning Special Functions Interpolation and Approximation Selected Works with Commentaries, Vol. 2 Orthogonal Polynomials on the Real Line Orthogonal Polynomials on the Semicircle Chebyshev Quadrature Kronrod and Other Quadratures Gauss-type Quadrature Selected Works with Commentaries, Vol. 3 Linear Difference Equations Ordinary Differential Equations Software History and Biography Miscellanea Works of Werner Gautschi Numerical Conditioning Special Functions Interpolation and Approximation Selected Works with Commentaries, Vol. 2 Orthogonal Polynomials on the Real Line Orthogonal Polynomials on the Semicircle Chebyshev Quadrature Kronrod and Other Quadratures Gauss-type Quadrature Selected Works with Commentaries, Vol. 3 Linear Difference Equations Ordinary Differential Equations Software History and Biography Miscellanea Works of Werner Gautschi

Homological algebra first arose as a language for describing topological prospects of geometrical objects. As with every successful language it quickly expanded its coverage and semantics, and its contemporary applications are many and diverse. This modern approach to homological algebra, by two leading writers in the field, is based on the systematic use of the language and ideas of derived categories and derived functors. Relations with standard cohomology theory (sheaf cohomology, spectral sequences, etc.) are described. In most cases complete proofs are given. Basic concepts and results of homotopical algebra are also presented. The book addresses people who want to learn a modern approach to homological algebra and to use it in their work. For the second edition the authors have made numerous corrections.

This book discusses mathematics learners in transition and their practices in different contexts; the institutional and socio-cultural framing of the transition processes involved; and the communication and negotiation of mathematical meanings during transition. Providing both empirical studies and significant theoretical reflections, it will appeal to researchers and postgraduate students in mathematics education, cultural psychology, multicultural education, immigrant and indigenous education.

This book can be an invaluable instrument for overviewing the latest and newest issues in mathematical aspects of scientific computing, discovering new applications and the most recent developments in the old ones. Topics include applications like fluid dynamics, electromagnetism, structural mechanics, kinetic models, free boundary problems, and methodologies like a posteriori estimates, adaptivity, discontinuous Galerkin methods, domain decomposition techniques, and numerical linear algebra. ENUMATH Conferences provide a forum for discussing recent aspects of Numerical Mathematics, they convene leading experts and young scientists with a special emphasis on contributions from Europe. Readers will get an insight into the state of the art of Numerical Mathematics and, more generally, into the field of Advanced Applications.

This book, intended for mathematics education professionals and teachers of mathematics, is outstanding in that its contributions come from a broad range of countries and cultures; they are representative of different theoretical perspectives and classroom experiences. All contributors are concerned with helping teachers explore ways to develop children's mathematical understanding appropriate for the new millennium. The authors present complex ideas about mathematical understanding and provide readers with powerful classroom examples. Recommendations for changing the curriculum for young children are also suggested. The book comprehensively documents four years of development in the field. Among the emergent developments described is the importance of context to mathematical development - it is not only the physical context, but also the social context of the classroom and school that stimulate conceptual growth. The book also locates current theoretical perspectives in a broad framework. Finally the book is organized around four interconnected themes all related directly to teaching and learning mathematics.

This volume contains papers based on invited talks given at the 2005 IMA Summer Workshop on Wireless Communications, held at the Institute for Mathematics and Its Applications, University of Minnesota, June 22-July 1, 2005. The workshop provided a great opportunity to facilitate the communications between academia and the industry, and to bridge the mathematical sciences, engineering, information theory, and communication communities. The emphasis were on design and analysis of computationally efficient algorithms to better understand the behavior and to control the wireless telecommunication networks. As an achieve, this volume presents some of the highlights of the workshop, and collects papers covering a broad spectrum of important and pressing issues in wireless communications. All papers have been reviewed. One of the book's distinct features is highly multi-disciplinary. This book is useful for researchers and advanced graduate students working in communication networks, information theory, signal processing, and applied probability and stochastic processes, among others.

This is a research-based book that deals with a broad range of issues about mathematics teacher education. It examines teacher education programs from different societies and cultures as it develops an international perspective on mathematics teacher education. Practical situations that are associated with related theories are studied critically. It is intended for teacher educators, mathematics educators, graduate students in mathematics education, and mathematics teachers.

Protein informatics is a newer name for an already existing discipline. It encompasses the techniques used in bioinformatics and molecular modeling that are related to proteins. While bioinformatics is mainly concerned with the collection, organization, and analysis of biological data, molecular modeling is devoted to representation and manipulation of the structure of proteins.

Protein informatics requires substantial prerequisites on computer science, mathematics, and molecular biology. The approach chosen here, allows a direct and rapid grasp on the subject starting from basic knowledge of algorithm design, calculus, linear algebra, and probability theory.

An Introduction to Protein Informatics, a professional monograph will provide the reader a comprehensive introduction to the field of protein informatics. The text emphasizes mathematical and computational methods to tackle the central problems of alignment, phylogenetic reconstruction, and prediction and sampling of protein structure.

An Introduction to Protein Informatics is designed for a professional audience, composed of researchers and practitioners within bioinformatics, molecular modeling, algorithm design, optimization, and pattern recognition. This book is also suitable as a graduate-level text for students in computer science, mathematics, and biomedicine.

This volume presents a collection of some of the seminal articles of Professor K. S. Shukla who made immense contributions to our understanding of the history and development of mathematics and astronomy in India. It consists of six parts: Part I constitutes introductory articles which give an overview of the life and work of Prof. Shukla, including details of his publications, reminiscences from his former students, and an analysis of his monumental contributions. Part II is a collection of important articles penned by Prof. Shukla related to various aspects of Indian mathematics. Part III consists of articles by Bibhutibhusan Datta and Avadhesh Narayan Singh-which together constitute the third unpublished part of their History of Hindu Mathematics-that were revised and updated by Prof. Shukla. Parts IV and V consist of a number of important articles of Prof. Shukla on different aspects of Indian astronomy. Part VI includes some important reviews authored by him and a few reviews of his work. Given the sheer range and depth of Prof. Shukla's scholarship, this volume is essential reading for scholars seeking to deepen their understanding of the rich and varied contributions made by Indian mathematicians and astronomers.