This book, the first printing of which was published as volume 38 of the Encyclopaedia of Mathematical Sciences, presents a modern approach to homological algebra, based on the systematic use of the terminology and ideas of derived categories and derived functors. The book contains applications of homological algebra to the theory of sheaves on topological spaces, to Hodge theory, and to the theory of modules over rings of algebraic differential operators (algebraic D-modules). The authors Gelfand and Manin explain all the main ideas of the theory of derived categories. Both authors are well-known researchers and the second, Manin, is famous for his work in algebraic geometry and mathematical physics. The book is an excellent reference for graduate students and researchers in mathematics and also for physicists who use methods from algebraic geometry and algebraic topology.

Approach your problems from the right end It isn't that they can't see the solution. It is and begin with the answers. Then one day, that they can't see the problem. perhaps you will find the final question. G. K. Chesterton. The Scandal of Father 'The Hermit Clad in Crane Feathers' in R. Brown 'The point"of a Pin'. van GuIik's The Chinese Maze Murders. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non trivially) in regional and theoretical economics; algebraic geometry interacts with physics; ihe Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programming profit from homotopy theory; Lie algebras .are relevant to filtering; and prediction and electrical engineering can use Stein spaces. And in addition to this there are such new emerging subdisciplines as "experimental mathematics," "CFD," "completely integrable systems," "chaos, synergetics and large-scale order," which are almost impossible to fit into the existing classification schemes. They draw upon widely different sections of mathematics."

The contributions in this book focus on a variety of topics related to discrepancy theory, comprising Fourier techniques to analyze discrepancy, low discrepancy point sets for quasi-Monte Carlo integration, probabilistic discrepancy bounds, dispersion of point sets, pair correlation of sequences, integer points in convex bodies, discrepancy with respect to geometric shapes other than rectangular boxes, and also open problems in discrepany theory.

(NOTES)This text focuses on the topics which are an essential part of the engineering mathematics course:ordinary differential equations, vector calculus, linear algebra and partial differential equations. Advantages over competing texts: 1. The text has a large number of examples and problems - a typical section having 25 quality problems directly related to the text. 2. The authors use a practical engineering approach based upon solving equations. All ideas and definitions are introduced from this basic viewpoint, which allows engineers in their second year to understand concepts that would otherwise be impossibly abstract. Partial differential equations are introduced in an engineering and science context based upon modelling of physical problems. A strength of the manuscript is the vast number of applications to real-world problems, each treated completely and in sufficient depth to be self-contained. 3. Numerical analysis is introduced in the manuscript at a completely elementary calculus level. In fact, numerics are advertised as just an extension of the calculus and used generally as enrichment, to help communicate the role of mathematics in engineering applications. 4.The authors have used and updated the book as a course text over a 10 year period. 5. Modern outline, as contrasted to the outdated outline by Kreysig and Wylie. 6. This is now a one year course. The text is shorter and more readable than the current reference type manuals published all at around 1300-1500 pages.

In this book, ring-theoretical properties of skew Laurent series rings A((x; )) over a ring A, where A is an associative ring with non-zero identity element are described. In addition, we consider Laurent rings and Malcev-Neumann rings, which are proper extensions of skew Laurent series rings.

This volume is both a tribute to Ulrich Felgner's research in algebra, logic, and set theory and a strong research contribution to these areas. Felgner's former students, friends and collaborators have contributed sixteen papers to this volume that highlight the unity of these three fields in the spirit of Ulrich Felgner's own research. The interested reader will find excellent original research surveys and papers that span the field from set theory without the axiom of choice via model-theoretic algebra to the mathematics of intonation.

A collection of surveys and research papers on mathematical software and algorithms. The common thread is that the field of mathematical applications lies on the border between algebra and geometry. Topics include polyhedral geometry, elimination theory, algebraic surfaces, Gröbner bases, triangulations of point sets and the mutual relationship. This diversity is accompanied by the abundance of available software systems which often handle only special mathematical aspects. This is why the volume also focuses on solutions to the integration of mathematical software systems. This includes low-level and XML based high-level communication channels as well as general frameworks for modular systems.

This book is mainly devoted to some computational and algorithmic problems in finite fields such as, for example, polynomial factorization, finding irreducible and primitive polynomials, the distribution of these primitive polynomials and of primitive points on elliptic curves, constructing bases of various types and new applications of finite fields to other areas of mathematics. For completeness we in clude two special chapters on some recent advances and applications of the theory of congruences (optimal coefficients, congruential pseudo-random number gener ators, modular arithmetic, etc.) and computational number theory (primality testing, factoring integers, computation in algebraic number theory, etc.). The problems considered here have many applications in Computer Science, Cod ing Theory, Cryptography, Numerical Methods, and so on. There are a few books devoted to more general questions, but the results contained in this book have not till now been collected under one cover. In the present work the author has attempted to point out new links among different areas of the theory of finite fields. It contains many very important results which previously could be found only in widely scattered and hardly available conference proceedings and journals. In particular, we extensively review results which originally appeared only in Russian, and are not well known to mathematicians outside the former USSR."

The aim of the Expositions is to present new and important developments in pure and applied mathematics. Well established in the community over more than two decades, the series offers a large library of mathematical works, including several important classics. The volumes supply thorough and detailed expositions of the methods and ideas essential to the topics in question. In addition, they convey their relationships to other parts of mathematics. The series is addressed to advanced readers interested in a thorough study of the subject. Editorial Board Lev Birbrair, Universidade Federal do Ceara, Fortaleza, Brasil Walter D. Neumann, Columbia University, New York, USA Markus J. Pflaum, University of Colorado, Boulder, USA Dierk Schleicher, Jacobs University, Bremen, Germany Katrin Wendland, University of Freiburg, Germany Honorary Editor Victor P. Maslov, Russian Academy of Sciences, Moscow, Russia Titles in planning include Yuri A. Bahturin, Identical Relations in Lie Algebras (2019) Yakov G. Berkovich, Lev G. Kazarin, and Emmanuel M. Zhmud', Characters of Finite Groups, Volume 2 (2019) Jorge Herbert Soares de Lira, Variational Problems for Hypersurfaces in Riemannian Manifolds (2019) Volker Mayer, Mariusz Urbanski, and Anna Zdunik, Random and Conformal Dynamical Systems (2021) Ioannis Diamantis, Bostjan Gabrovsek, Sofia Lambropoulou, and Maciej Mroczkowski, Knot Theory of Lens Spaces (2021)

The theory of quasivarieties constitutes an independent direction in algebra and mathematical logic and specializes in a fragment of first-order logic-the so-called universal Horn logic. This treatise uniformly presents the principal directions of the theory from an effective algebraic approach developed by the author himself. A revolutionary exposition, this influential text contains a number of results never before published in book form, featuring in-depth commentary for applications of quasivarieties to graphs, convex geometries, and formal languages. Key features include coverage of the Birkhoff-Mal'tsev problem on the structure of lattices of quasivarieties, helpful exercises, and an extensive list of references.

Terrorism is one of the serious threats to international peace and security that we face in this decade. No nation can consider itself immune from the dangers it poses, and no society can remain disengaged from the efforts to combat it. The termcounterterrorism refers to the techniques, strategies, and tactics used in the ?ght against terrorism. Counterterrorism efforts involve many segments of so- ety, especially governmental agencies including the police, military, and intelligence agencies (both domestic and international). The goal of counterterrorism efforts is to not only detect and prevent potential future acts but also to assist in the response to events that have already occurred. A terrorist cell usually forms very quietly and then grows in a pattern - sp- ning international borders, oceans, and hemispheres. Surprising to many, an eff- tive "weapon," just as quiet - mathematics - can serve as a powerful tool to combat terrorism, providing the ability to connect the dots and reveal the organizational pattern of something so sinister. The events of 9/11 instantly changed perceptions of the wordsterrorist andn- work, especially in the United States. The international community was confronted with the need to tackle a threat which was not con?ned to a discreet physical - cation. This is a particular challenge to the standard instruments for projecting the legal authority of states and their power to uphold public safety. As demonstrated by the events of the 9/11 attack, we know that terrorist attacks can happen anywhere.

This volume develops the depth and breadth of the mathematics underlying the construction and analysis of Hadamard matrices, and their use in the construction of combinatorial designs. At the same time, it pursues current research in their numerous applications in security and cryptography, quantum information, and communications. Bridges among diverse mathematical threads and extensive applications make this an invaluable source for understanding both the current state of the art and future directions. The existence of Hadamard matrices remains one of the most challenging open questions in combinatorics. Substantial progress on their existence has resulted from advances in algebraic design theory using deep connections with linear algebra, abstract algebra, finite geometry, number theory, and combinatorics. Hadamard matrices arise in a very diverse set of applications. Starting with applications in experimental design theory and the theory of error-correcting codes, they have found unexpected and important applications in cryptography, quantum information theory, communications, and networking.

In this book the authors describe the important generalization of the original Weil conjectures, as given by P. Deligne in his fundamental paper "La conjecture de Weil II". The authors follow the important and beautiful methods of Laumon and Brylinski which lead to a simplification of Deligne's theory. Deligne's work is closely related to the sheaf theoretic theory of perverse sheaves. In this framework Deligne's results on global weights and his notion of purity of complexes obtain a satisfactory and final form. Therefore the authors include the complete theory of middle perverse sheaves. In this part, the l-adic Fourier transform is introduced as a technique providing natural and simple proofs. To round things off, there are three chapters with significant applications of these theories.

The finite-difference solution of mathematical-physics differential equations is carried out in two stages: 1) the writing of the difference scheme (a differ ence approximation to the differential equation on a grid), 2) the computer solution of the difference equations, which are written in the form of a high order system of linear algebraic equations of special form (ill-conditioned, band-structured). Application of general linear algebra methods is not always appropriate for such systems because of the need to store a large volume of information, as well as because of the large amount of work required by these methods. For the solution of difference equations, special methods have been developed which, in one way or another, take into account special features of the problem, and which allow the solution to be found using less work than via the general methods. This work is an extension of the book Difference M ethod3 for the Solution of Elliptic Equation3 by A. A. Samarskii and V. B. Andreev which considered a whole set of questions connected with difference approximations, the con struction of difference operators, and estimation of the onvergence rate of difference schemes for typical elliptic boundary-value problems. Here we consider only solution methods for difference equations. The book in fact consists of two volumes."

The relevance of commutator methods in spectral and scattering theory has been known for a long time, and numerous interesting results have been ob tained by such methods. The reader may find a description and references in the books by Putnam [Pu], Reed-Simon [RS] and Baumgartel-Wollenberg [BW] for example. A new point of view emerged around 1979 with the work of E. Mourre in which the method of locally conjugate operators was introduced. His idea proved to be remarkably fruitful in establishing detailed spectral properties of N-body Hamiltonians. A problem that was considered extremely difficult be fore that time, the proof of the absence of a singularly continuous spectrum for such operators, was then solved in a rather straightforward manner (by E. Mourre himself for N = 3 and by P. Perry, 1. Sigal and B. Simon for general N). The Mourre estimate, which is the main input of the method, also has consequences concerning the behaviour of N-body systems at large times. A deeper study of such propagation properties allowed 1. Sigal and A. Soffer in 1985 to prove existence and completeness of wave operators for N-body systems with short range interactions without implicit conditions on the potentials (for N = 3, similar results were obtained before by means of purely time-dependent methods by V. Enss and by K. Sinha, M. Krishna and P. Muthuramalingam). Our interest in commutator methods was raised by the major achievements mentioned above.

This volume is dedicated to the memory of Albert Crumeyrolle, who died on June 17, 1992. In organizing the volume we gave priority to: articles summarizing Crumeyrolle's own work in differential geometry, general relativity and spinors, articles which give the reader an idea of the depth and breadth of Crumeyrolle's research interests and influence in the field, articles of high scientific quality which would be of general interest. In each of the areas to which Crumeyrolle made significant contribution - Clifford and exterior algebras, Weyl and pure spinors, spin structures on manifolds, principle of triality, conformal geometry - there has been substantial progress. Our hope is that the volume conveys the originality of Crumeyrolle's own work, the continuing vitality of the field he influenced, and the enduring respect for, and tribute to, him and his accomplishments in the mathematical community. It isour pleasure to thank Peter Morgan, Artibano Micali, Joseph Grifone, Marie Crumeyrolle and Kluwer Academic Publishers for their help in preparingthis volume.

Much progress has been made during the last decade on the subjects of non commutative valuation rings, and of semi-hereditary and Priifer orders in a simple Artinian ring which are considered, in a sense, as global theories of non-commu tative valuation rings. So it is worth to present a survey of the subjects in a self-contained way, which is the purpose of this book. Historically non-commutative valuation rings of division rings were first treat ed systematically in Schilling's Book [Sc], which are nowadays called invariant valuation rings, though invariant valuation rings can be traced back to Hasse's work in [Has]. Since then, various attempts have been made to study the ideal theory of orders in finite dimensional algebras over fields and to describe the Brauer groups of fields by usage of "valuations", "places", "preplaces", "value functions" and "pseudoplaces". In 1984, N. 1. Dubrovin defined non-commutative valuation rings of simple Artinian rings with notion of places in the category of simple Artinian rings and obtained significant results on non-commutative valuation rings (named Dubrovin valuation rings after him) which signify that these rings may be the correct def inition of valuation rings of simple Artinian rings. Dubrovin valuation rings of central simple algebras over fields are, however, not necessarily to be integral over their centers.

This book presents methods of solving problems in three areas of elementary combinatorial mathematics: classical combinatorics, combinatorial arithmetic, and combinatorial geometry. In each topic, brief theoretical discussions are immediately followed by carefully worked-out examples of increasing degrees of difficulty, and by exercises that range from routine to rather challenging. While this book emphasizes some methods that are not usually covered in beginning university courses, it nevertheless teaches techniques and skills that are useful not only in the specific topics covered here. There are approximately 310 examples and 650 exercises. Jiri Herman is the headmaster of a prestigious secondary school (Gymnazium) in Brno, Radan Kucera is Associate Professor of Mathematics at Masaryk University in Brno, and Jaromir Simsa is a researcher at the Mathematical Institute of the Academy of Sciences of the Czech Republic. The translator, Karl Dilcher, is Professor of Mathematics at Dalhousie University in Canada. This book can be seen as a continuation of the previous book by the same authors and also translated by Karl Dilcher, Equations and Inequalities: Elementary Problems and Theorems in Algebra and Number Theory (Springer-Verlag 2000).

This book is about the development of reciprocity laws, starting from conjectures of Euler and discussing the contributions of Legendre, Gauss, Dirichlet, Jacobi, and Eisenstein. Readers knowledgeable in basic algebraic number theory and Galois theory will find detailed discussions of the reciprocity laws for quadratic, cubic, quartic, sextic and octic residues, rational reciprocity laws, and Eisenstein's reciprocity law. An extensive bibliography will be of interest to readers interested in the history of reciprocity laws or in the current research in this area.

1. The Subject Matter. Consider a complex semisimple Lie group G with Lie algebra g and Weyl group W. In this book, we present a geometric perspective on the following circle of ideas: polynomials The "vertices" of this graph are some of the most important objects in representation theory. Each has a theory in its own right, and each has had its own independent historical development. - A nilpotent orbit is an orbit of the adjoint action of G on g which contains the zero element of g in its closure. (For the special linear group 2 G = SL(n, C), whose Lie algebra 9 is all n x n matrices with trace zero, an adjoint orbit consists of all matrices with a given Jordan canonical form; such an orbit is nilpotent if the Jordan form has only zeros on the diagonal. In this case, the nilpotent orbits are classified by partitions of n, given by the sizes of the Jordan blocks.) The closures of the nilpotent orbits are singular in general, and understanding their singularities is an important problem. - The classification of irreducible Weyl group representations is quite old.

The series is aimed specifically at publishing peer reviewed reviews and contributions presented at workshops and conferences. Each volume is associated with a particular conference, symposium or workshop. These events cover various topics within pure and applied mathematics and provide up-to-date coverage of new developments, methods and applications.

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 transparency and power of geometric constructions has been a source of inspiration to generations of mathematicians. The beauty and persuasion of pictures, communicated in words or drawings, continues to provide the intuition and arguments for working with complicated concepts and structures of modern mathematics. This volume contains a selection of articles exploring geometric approaches to problems in algebra, algebraic geometry and number theory.

Key topics include:

* Curves and their Jacobians

* Algebraic surfaces

* Moduli spaces, Shimura varieties

* Motives and motivic integration

* Number-theoretic applications, rational points

* Combinatorial aspects of algebraic geometry

* Quantum cohomology

* Arithmetic dynamical systems

The collection gives a representative sample of problems and most recent results in algebraic and arithmetic geometry; the text can serve as an intense introduction for graduate students and those wishing to pursue research in these areas.

Contributors: I. Bauer, F. Bogomolov, N. Budur, F. Catanese, C.-L. Chai, R. Cluckers, C. De Concini, J.S. Ellenberg, F. Grunewald, B. Hassett, T. Hausel, F. Loeser, J. Pineiro, R. Pink, C. Procesi, M. Spitzweck, P. Swinnerton-Dyer, L. Szpiro, H. Tamvakis, Y. Tschinkel, T.J. Tucker, A. Venkatesh, and Y.G. Zarhin.

From the 28th of February through the 3rd of March, 2001, the Department of Math ematics of the University of Florida hosted a conference on the many aspects of the field of Ordered Algebraic Structures. Officially, the title was "Conference on Lattice Ordered Groups and I-Rings," but its subject matter evolved beyond the limitations one might associate with such a label. This volume is officially the proceedings of that conference, although, likewise, it is more accurate to view it as a complement to that event. The conference was the fourth in wh at has turned into aseries of similar conferences, on Ordered Algebraic Structures, held in consecutive years. The first, held at the University of Florida in Spring, 1998, was a modest and informal affair. The fifth is in the final planning stages at this writing, for March 7-9, 2002, at Vanderbilt University. And although these events remain modest and reasonably informal, their scope has broadened, as they have succeeded in attracting mathematicians from other, related fields, as weIl as from more distant lands."