'Et moi, .... si j'avait su comment en revenir, One service mathematics has rendered the je n'y serais point alit.' human race. It has put common sense back Jules Verne where it belongs. on the topmost shelf next to the dusty canister labelled 'discarded non The series is divergent; therefore we may be sense'. able to do something with it. Eric T. Bcll o. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and nOD linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series."

The purpose of the book is to take stock of the situation concerning Algebra via Category Theory in the last fifteen years, where the new and synthetic notions of Mal'cev, protomodular, homological and semi-abelian categories emerged. These notions force attention on the fibration of points and allow a unified treatment of the main algebraic: homological lemmas, Noether isomorphisms, commutator theory.
The book gives full importance to examples and makes strong connections with Universal Algebra. One of its aims is to allow appreciating how productive the essential categorical constraint is: knowing an object, not from inside via its elements, but from outside via its relations with its environment.
The book is intended to be a powerful tool in the hands of researchers in category theory, homology theory and universal algebra, as well as a textbook for graduate courses on these topics.

This book gives a comprehensive account of Mori¿s Program, that is an approach to the following problem: classify all the projective varieties X in P^n over C up to isomorphism. Mori¿s Program is a fusion of the so-called Minimal Model Program and the Iitaka Program toward the biregular and/or birational classification of higher dimensional algebraic varieties. The author presents this theory in an easy and understandable way with lots of background motivation. It is the first book in this extremely important and active area of research and will become a key resource for graduate students.

This text is an introduction to the representation theory of the symmetric group from three different points of view: via general representation theory, via combinatorial algorithms, and via symmetric functions. It is the only book to deal with all three aspects of this subject at once. The style of presentation is relaxed yet rigorous and the prerequisites have been kept to a minimum¿undergraduate courses in linear algebra and group theory will suffice.

Mathematical summary for Digital Signal Processing Applications with Matlab consists of Mathematics which is not usually dealt in the DSP core subject, but used in DSP applications. Matlab programs with illustrations are given for the selective topics such as generation of Multivariate Gaussian distributed sample outcomes, Bacterial foraging algorithm, Newton's iteration, Steepest descent algorithm, etc. are given exclusively in the separate chapter. Also Mathematical summary for Digital Signal Processing Applications with Matlab is written in such a way that it is suitable for Non-Mathematical readers and is very much suitable for the beginners who are doing research in Digital Signal Processing.

Introduction to Large Truncated Toeplitz Matrices is a text on the application of functional analysis and operator theory to some concrete asymptotic problems of linear algebra. The book contains results on the stability of projection methods, deals with asymptotic inverses and Moore-Penrose inversion of large Toeplitz matrices, and embarks on the asymptotic behavoir of the norms of inverses, the pseudospectra, the singular values, and the eigenvalues of large Toeplitz matrices. The approach is heavily based on Banach algebra techniques and nicely demonstrates the usefulness of C*-algebras and local principles in numerical analysis. The book includes classical topics as well as results obtained and methods developed only in the last few years. Though employing modern tools, the exposition is elementary and aims at pointing out the mathematical background behind some interesting phenomena one encounters when working with large Toeplitz matrices. The text is accessible to readers with basic knowledge in functional analysis. It is addressed to graduate students, teachers, and researchers with some inclination to concrete operator theory and should be of interest to everyone who has to deal with infinite matrices (Toeplitz or not) and their large truncations.

On the occasion of the 150th anniversary of Sophus Lie, an International Work shop "Modern Group Analysis: advanced analytical and computational methods in mathematical physics" has been organized in Acireale (Catania, Sicily, October 27 31, 1992). The Workshop was aimed to enlighten the present state ofthis rapidly expanding branch of applied mathematics. Main topics of the Conference were: * classical Lie groups applied for constructing invariant solutions and conservation laws; * conditional (partial) symmetries; * Backlund transformations; * approximate symmetries; * group analysis of finite-difference equations; * problems of group classification; * software packages in group analysis. The success of the Workshop was due to the participation of many experts in Group Analysis from different countries. This book consists of selected papers presented at the Workshop. We would like to thank the Scientific Committee for the generous support of recommending invited lectures and selecting the papers for this volume, as well as the members of the Organizing Committee for their help. The Workshop was made possible by the financial support of several sponsors that are listed below. It is also a pleasure to thank our colleague Enrico Gregorio for his invaluable help of this volume.

The theory of finite fields is of central importance in engineering and computer science, because of its applications to error-correcting codes, cryptography, spread-spectrum communications, and digital signal processing. Though not inherently difficult, this subject is almost never taught in depth in mathematics courses, (and even when it is the emphasis is rarely on the practical aspect). Indeed, most students get a brief and superficial survey which is crammed into a course on error-correcting codes. It is the object of this text to remedy this situation by presenting a thorough introduction to the subject which is completely sound mathematically, yet emphasizes those aspects of the subject which have proved to be the most important for applications. This book is unique in several respects. Throughout, the emphasis is on fields of characteristic 2, the fields on which almost all applications are based. The importance of Euclid's algorithm is stressed early and often. Berlekamp's polynomial factoring algorithm is given a complete explanation. The book contains the first treatment of Berlekamp's 1982 bit-serial multiplication circuits, and concludes with a thorough discussion of the theory of m-sequences, which are widely used in communications systems of many kinds.

This book provides a comprehensive treatment of Gr bner bases theory embedded in an introduction to commutative algebra from a computational point of view. The centerpiece of Gr bner bases theory is the Buchberger algorithm, which provides a common generalization of the Euclidean algorithm and the Gaussian elimination algorithm to multivariate polynomial rings. The book explains how the Buchberger algorithm and the theory surrounding it are eminently important both for the mathematical theory and for computational applications. A number of results such as optimized version of the Buchberger algorithm are presented in textbook format for the first time. This book requires no prerequisites other than the mathematical maturity of an advanced undergraduate and is therefore well suited for use as a textbook. At the same time, the comprehensive treatment makes it a valuable source of reference on Gr bner bases theory for mathematicians, computer scientists, and others. Placing a strong emphasis on algorithms and their verification, while making no sacrifices in mathematical rigor, the book spans a bridge between mathematics and computer science.

This volume is an outgrowth of the 1995 Summer School on Theoretical Physics of the Canadian Association of Physicists (CAP), held in Banff, Alberta, in the Canadian Rockies, from July 30 to August 12,1995. The chapters, based on lectures given at the School, are designed to be tutorial in nature, and many include exercises to assist the learning process. Most lecturers gave three or four fifty-minute lectures aimed at relative novices in the field. More emphasis is therefore placed on pedagogy and establishing comprehension than on erudition and superior scholarship. Of course, new and exciting results are presented in applications of Clifford algebras, but in a coherent and user-friendly way to the nonspecialist. The subject area of the volume is Clifford algebra and its applications. Through the geometric language of the Clifford-algebra approach, many concepts in physics are clarified, united, and extended in new and sometimes surprising directions. In particular, the approach eliminates the formal gaps that traditionally separate clas sical, quantum, and relativistic physics. It thereby makes the study of physics more efficient and the research more penetrating, and it suggests resolutions to a major physics problem of the twentieth century, namely how to unite quantum theory and gravity. The term "geometric algebra" was used by Clifford himself, and David Hestenes has suggested its use in order to emphasize its wide applicability, and b& cause the developments by Clifford were themselves based heavily on previous work by Grassmann, Hamilton, Rodrigues, Gauss, and others."

The theory of automorphisms and derivations of associative rings is a direct descendant of the development of classical Galois theory and the theory of invariants. This volume presents a comprehensive overview of the methods and results of that theory, which has been greatly enriched during the last twenty years. Some of the material included appears for the first time. Among the problems discussed in this book are the following: construction of a Galois theory for prime and semiprime rings and its application to domains and free algebras; investigation of the problems of the algebraic dependence of automorphisms and derivations; studies of the fixed rings for finite groups and rings of constants for differential Lie algebras acting on the rings; non-commutative invariants of linear groups; theorems of finite groups acting on modular lattices; actions of Hopf algebras. The monograph is meant for specialists in algebra, but it can also be useful for a wider range of mathematicians. The inclusions in the book of the latest achievements on the structural theory of rings with generalized identities makes it desirable reading for graduate students as well.

Techniques of physics find wide application in biology, medicine, engineering and technology generally. This series is devoted to techniques which have found and are finding application. The aim is to clarify the principles of each technique, to emphasize and illustrate the applications and to draw attention to new fields of possible employment.

Hans Duistermaat, an influential geometer-analyst, made substantial contributions to the theory of ordinary and partial differential equations, symplectic, differential, and algebraic geometry, minimal surfaces, semisimple Lie groups, mechanics, mathematical physics, and related fields. Written in his honor, the invited and refereed articles in this volume contain important new results as well as surveys in some of these areas, clearly demonstrating the impact of Duistermaat's research and, in addition, exhibiting interrelationships among many of the topics.

A smart city utilizes ICT technologies to improve the working effectiveness, share various data with the citizens, and enhance political assistance and societal wellbeing. The fundamental needs of a smart and sustainable city are utilizing smart technology for enhancing municipal activities, expanding monetary development, and improving citizens' standards of living. Data-Driven Mathematical Modeling in Smart Cities discusses new mathematical models in smart and sustainable cities using big data, visualization tools in mathematical modeling, machine learning-based mathematical modeling, and more. It further delves into privacy and ethics in data analysis. Covering topics such as deep learning, optimization-based data science, and smart city automation, this premier reference source is an excellent resource for mathematicians, statisticians, computer scientists, civil engineers, government officials, students and educators of higher education, librarians, researchers, and academicians.

The material collected in this book originated from lectures given by authors over many years in Warsaw, Trieste, Schladming, Istanbul, Goteborg and Boulder. There is no other comparable book on group representations, neither in mathematical nor in physical literature and it is hoped that this book will prove to be useful in many areas of research. It is highly recommended as a textbook for an advanced course in mathematical physics on Lie algebras, Lie groups and their representations.

The first interactive course covering first and second year algebra. Starting from such fundamental topics as integers and divisions, modular arithmetic and polynomials the content extends to rings, fields and permutation groups. The hypertext is written in Java-enhanced HTML, and Java applets illustrate the theory while also contributing interactive calculators for computing with integers, polynomials and permutations. The computer algebra system GAP is integrated throughout, allowing the calculation and manipulation of mathematical objects. In addition, collections for Mathematica notebooks and Maple worksheets review the algorithms presented. Multiple choice exercises provide users with instant feedback, while facilities for monitoring students and a bulletin board complete this digital course.

http://www.worldscientific.com/worldscibooks/10.1142/0131

http://www.worldscientific.com/worldscibooks/10.1142/0131

A collection of matrices is said to be triangularizable if there is an invertible matrix S such that S1 AS is upper triangular for every A in the collection. This generalization of commutativity is the subject of many classical theorems due to Engel, Kolchin, Kaplansky, McCoy and others. The concept has been extended to collections of bounded linear operators on Banach spaces: such a collection is defined to be triangularizable if there is a maximal chain of subspaces of the Banach space, each of which is invariant under every member of the collection. Most of the classical results have been generalized to compact operators, and there are also recent theorems in the finite-dimensional case. This book is the first comprehensive treatment of triangularizability in both the finite and infinite-dimensional cases. It contains numerous very recent results and new proofs of many of the classical theorems. It provides a thorough background for research in both the linear-algebraic and operator-theoretic aspects of triangularizability and related areas. More generally, the book will be useful to anyone interested in matrices or operators, as many of the results are linked to other topics such as spectral mapping theorems, properties of spectral radii and traces, and the structure of semigroups and algebras of operators. It is essentially self-contained modulo solid courses in linear algebra (for the first half) and functional analysis (for the second half), and is therefore suitable as a text or reference for a graduate course.

In this book the details of many calculations are provided for access to work in quantum groups, algebraic differential calculus, noncommutative geometry, fuzzy physics, discrete geometry, gauge theory, quantum integrable systems, braiding, finite topological spaces, some aspects of geometry and quantum mechanics and gravity.

This book is based on lectures delivered at Harvard in the Spring of 1991 and at the University of Utah during the academic year 1992-93. Formally, the book assumes only general algebraic knowledge (rings, modules, groups, Lie algebras, functors etc.). It is helpful, however, to know some basics of algebraic geometry and representation theory. Each chapter begins with its own introduction, and most sections even have a short overview. The purpose of what follows is to explain the spirit of the book and how different parts are linked together without entering into details. The point of departure is the notion of the left spectrum of an associative ring, and the first natural steps of general theory of noncommutative affine, quasi-affine, and projective schemes. This material is presented in Chapter I. Further developments originated from the requirements of several important examples I tried to understand, to begin with the first Weyl algebra and the quantum plane. The book reflects these developments as I worked them out in reallife and in my lectures. In Chapter 11, we study the left spectrum and irreducible representations of a whole lot of rings which are of interest for modern mathematical physics. The dasses of rings we consider indude as special cases: quantum plane, algebra of q-differential operators, (quantum) Heisenberg and Weyl algebras, (quantum) enveloping algebra ofthe Lie algebra sl(2) , coordinate algebra of the quantum group SL(2), the twisted SL(2) of Woronowicz, so called dispin algebra and many others.

Recent developments are covered

Contains over 100 figures and 250 exercises

Includes complete proofs

Both modern mathematical music theory and computer science are strongly influenced by the theory of categories and functors. One outcome of this research is the data format of denotators, which is based on set-valued presheaves over the category of modules and diaffine homomorphisms. The functorial approach of denotators deals with generalized points in the form of arrows and allows the construction of a universal concept architecture. This architecture is ideal for handling all aspects of music, especially for the analysis and composition of highly abstract musical works.

This book presents an introduction to the theory of module categories and the theory of denotators, as well as the design of a software system, called Rubato Composer, which is an implementation of the category-theoretic concept framework. The application is written in portable Java and relies on plug-in components, so-called rubettes, which may be combined in data flow networks for the generation and manipulation of denotators.

The Rubato Composer system is open to arbitrary extension and is freely available under the GPL license. It allows the developer to build specialized rubettes for tasks that are of interest to composers, who in turn combine them to create music. It equally serves music theorists, who use them to extract information from and manipulate musical structures. They may even develop new theories by experimenting with the many parameters that are at their disposal thanks to the increased flexibility of the functorial concept architecture.

Two contributed chapters by Guerino Mazzola and Florian Thalmann illustrate the application of the theory as well as the software in the development of compositional tools and the creation of a musical work with the help of the Rubato framework.

This EMS volume provides an exposition of the structure theory of Fano varieties, i.e. algebraic varieties with an ample anticanonical divisor. This book will be very useful as a reference and research guide for researchers and graduate students in algebraic geometry.