The main TOPIC of this book is that of Groebner bases and their applications. The main PURPOSE of this book is that of bridging the current gap in the literature between theory and real computation. The book can be used by teachers and students alike as a comprehensive guide to both the theory and the practice of Computational Commutative Algebra. It has been made as self-contained as possible, and thus is ideally suited as a textbook for graduate or advanced undergraduate courses. Numerous applications are described, covering fields as disparate as algebraic geometry and financial markets. To aid a deeper understanding of these applications there are 44 tutorials aimed at illustrating how the theory can be used in these cases. The computational aspects of the tutorials can be carried out with the computer algebra system CoCoA, an introduction to which appears in an appendix. Besides the tutorials there are plenty of exercises, some of a theoretical nature and others more practical.

Algebra is the gateway to college and careers, yet it functions as the eye of the needle because of low pass rates for the middle school/high school course and students' struggles to understand. We have forty years of research that discusses the ways students think and their cognitive challenges as they engage with algebra. This book is a response to the National Council of Teachers of Mathematics' (NCTM) call to better link research and practice by capturing what we have learned about students' algebraic thinking in a way that is usable by teachers as they prepare lessons or reflect on their experiences in the classroom. Through a Fund for the Improvement of Post-Secondary Education (FIPSE) grant, 17 teachers and mathematics educators read through the past 40 years of research on students' algebraic thinking to capture what might be useful information for teachers to know-over 1000 articles altogether. The resulting five domains addressed in the book (Variables & Expressions, Algebraic Relations, Analysis of Change, Patterns & Functions, and Modeling & Word Problems) are closely tied to CCSS topics. Over time, veteran math teachers develop extensive knowledge of how students engage with algebraic concepts-their misconceptions, ways of thinking, and when and how they are challenged to understand-and use that knowledge to anticipate students' struggles with particular lessons and plan accordingly. Veteran teachers learn to evaluate whether an incorrect response is a simple error or the symptom of a faulty or naive understanding of a concept. Novice teachers, on the other hand, lack the experience to anticipate important moments in the learning of their students. They often struggle to make sense of what students say in the classroom and determine whether the response is useful or can further discussion (Leatham, Stockero, Peterson, & Van Zoest 2011; Peterson & Leatham, 2009). The purpose of this book is to accelerate early career teachers' "experience" with how students think when doing algebra in middle or high school as well as to supplement veteran teachers' knowledge of content and students. The research that this book is based upon can provide teachers with insight into the nature of the student's struggles with particular algebraic ideas-to help teachers identify patterns that imply underlying thinking. Our book, How Students Think When Doing Algebra, is not intended to be a "how to" book for teachers. Instead, it is intended to orient new teachers to the ways students think and be a book that teachers at all points in their career continually pull of the shelf when they wonder, "how might my students struggle with this algebraic concept I am about to teach?" The primary audience for this book is early career mathematics teachers who don't have extensive experience working with students engaged in mathematics. However, the book can also be useful to veteran teachers to supplement their knowledge and is an ideal resource for mathematics educators who are preparing preservice teachers.

This volume comprises both research and survey articles originating from the conference on Arithmetic and Geometry around Quantization held in Istanbul in 2006. A wide range of topics related to quantization are covered, thus aiming to give a glimpse of a broad subject in very different perspectives.

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 Gad in Crane Feathers' in R. Brown 'The point of a Pin'. van Gulik'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 s9phistication 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; the 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."

This impressive volume is dedicated to Mel Nathanson, a leading authoritative expert for several decades in the area of combinatorial and additive number theory. For several decades, Mel Nathanson's seminal ideas and results in combinatorial and additive number theory have influenced graduate students and researchers alike. The invited survey articles in this volume reflect the work of distinguished mathematicians in number theory, and represent a wide range of important topics in current research.

Iterative Splitting Methods for Differential Equations explains how to solve evolution equations via novel iterative-based splitting methods that efficiently use computational and memory resources. It focuses on systems of parabolic and hyperbolic equations, including convection-diffusion-reaction equations, heat equations, and wave equations.

In the theoretical part of the book, the author discusses the main theorems and results of the stability and consistency analysis for ordinary differential equations. He then presents extensions of the iterative splitting methods to partial differential equations and spatial- and time-dependent differential equations.

The practical part of the text applies the methods to benchmark and real-life problems, such as waste disposal, elastics wave propagation, and complex flow phenomena. The book also examines the benefits of equation decomposition. It concludes with a discussion on several useful software packages, including r3t and FIDOS.

Covering a wide range of theoretical and practical issues in multiphysics and multiscale problems, this book explores the benefits of using iterative splitting schemes to solve physical problems. It illustrates how iterative operator splitting methods are excellent decomposition methods for obtaining higher-order accuracy.

This book is about the computational aspects of invariant theory. Of central interest is the question how the invariant ring of a given group action can be calculated. Algorithms for this purpose form the main pillars around which the book is built. There are two introductory chapters, one on Groebner basis methods and one on the basic concepts of invariant theory, which prepare the ground for the algorithms. Then algorithms for computing invariants of finite and reductive groups are discussed. Particular emphasis lies on interrelations between structural properties of invariant rings and computational methods. Finally, the book contains a chapter on applications of invariant theory, covering fields as disparate as graph theory, coding theory, dynamical systems, and computer vision. The book is intended for postgraduate students as well as researchers in geometry, computer algebra, and, of course, invariant theory. The text is enriched with numerous explicit examples which illustrate the theory and should be of more than passing interest. More than ten years after the first publication of the book, the second edition now provides a major update and covers many recent developments in the field. Among the roughly 100 added pages there are two appendices, authored by Vladimi r Popov, and an addendum by Norbert A'Campo and Vladimir Popov.

The book gives a comprehensive account of the basic algebraic properties of the classical groups over rings. Much of the theory appears in book form for the first time, and most proofs are given in detail. The book also includes a revised and expanded version of DieudonnA(c)'s classical theory over division rings. The authors analyse congruence subgroups, normal subgroups and quotient groups, they describe their isomorphisms and investigate connections with linear and hermitian K-theory. A first insight is offered through the simplest case of the general linear group. All the other classical groups, notably the symplectic, unitary and orthogonal groups, are dealt with uniformly as isometry groups of generalized quadratic modules. New results on the unitary Steinberg groups, the associated K2-groups and the unitary symbols in these groups lead to simplified presentation theorems for the classical groups. Related material such as the K-theory exact sequences of Bass and Sharpe and the Merkurjev-Suslin theorem is outlined. "From" "the foreword by J. DieudonnA(c): " "All mathematicians interested in classical groups should be grateful to these two outstanding investigators for having brought together old and new results (many of them their own) into a superbly organized whole. I am confident that their book will remain for a long time the standard reference in the theory."

This book discusses the application of independent continuous mapping method in predicting and the optimization of the mechanical performance of buckling with displacement, stress and static constrains. Each model is explained by mathematical theories and followed by simulation with frequently-used softwares. With abundant project data, the book is an essential reference for mechanical engineers, structural engineers and industrial designers.

This book describes the solution of electrodynamic boundary problems, which arose in the practical life of a designer. Only a few problems can be solved analytically and some of these solutions are given in the book, for example, the computation of a strip line in a rectangular or circular cylinder capacitance. Practical lines' configurations require computational work. As the authors' practice shows, the use of Green functions, leading to singular integral equations, is a powerful and pretty universal method to solve different boundary problems, including electrodynamic ones. The book presents the results of computations of microstrip lines on magnetized (longitudinally and transversally) ferrite and semiconductor substrates taking into account all the geometric sizes. The properties of gyrotropic media are described in the book for the reader's convenience. The geometrical shape may be practically any. The integral equations are exact and give the proper field near the edges. Actually, the use of singular integral equations reduces the experimental verification to minimum. The book will be useful for students, engineers, designers and researchers. It contains a lot of computed results, which are verified experimentally and can be used immediately.

This is a self-contained introduction to algebraic curves over finite fields and geometric Goppa codes. There are four main divisions in the book. The first is a brief exposition of basic concepts and facts of the theory of error-correcting codes (Part I). The second is a complete presentation of the theory of algebraic curves, especially the curves defined over finite fields (Part II). The third is a detailed description of the theory of classical modular curves and their reduction modulo a prime number (Part III). The fourth (and basic) is the construction of geometric Goppa codes and the production of asymptotically good linear codes coming from algebraic curves over finite fields (Part IV). The theory of geometric Goppa codes is a fascinating topic where two extremes meet: the highly abstract and deep theory of algebraic (specifically modular) curves over finite fields and the very concrete problems in the engineering of information transmission. At the present time there are two essentially different ways to produce asymptotically good codes coming from algebraic curves over a finite field with an extremely large number of rational points. The first way, developed by M. A. Tsfasman, S. G. Vladut and Th. Zink [210], is rather difficult and assumes a serious acquaintance with the theory of modular curves and their reduction modulo a prime number. The second way, proposed recently by A.

Courses on mathematical programming are now part of standard teaching programs of universities and institutes. The aim of this book is to introduce students of mathematics, economics, technology and other related subjects to the qualitative theory of mathematical programming in paired vector spaces. Prerequisite for the study of this book is only a basic knowledge of analysis, of elements of functional analysis and linear algebra. The application of elementary ideas of functional analysis is convenient for a more rigorous construction of proofs and for some generalizations of the finite dimensional theory on infinite dimensional Banach-spaces. An important feature of this book is the use of a principle of duality to formulate the theoretical basis of many different concrete programming problems. The main idea of the book is to present relations of duality and to construct a general theoretical basis for different special programming problems.

There exists a vast literature on numerical methods of linear algebra. In our bibliography list, which is by far not complete, we included some monographs on the subject [46], [15], [32], [39], [11], [21]. The present book is devoted to the theory of algorithms for a single problem of linear algebra, namely, for the problem of solving systems of linear equations with non-full-rank matrix of coefficients. The solution of this problem splits into many steps, the detailed discussion of which are interest ing problems on their own (bidiagonalization of matrices, computation of singular values and eigenvalues, procedures of deflation of singular values, etc. ). Moreover, the theory of algorithms for solutions of the symmetric eigenvalues problem is closely related to the theory of solv ing linear systems (Householder's algorithms of bidiagonalization and tridiagonalization, eigenvalues and singular values, etc. ). It should be stressed that in this book we discuss algorithms which to computer programs having the virtue that the accuracy of com lead putations is guaranteed. As far as the final program product is con cerned, this means that the user always finds an unambiguous solution of his problem. This solution might be of two kinds: 1. Solution of the problem with an estimate of errors, where abso lutely all errors of input data and machine round-offs are taken into account. 2.

Algorithms in algebraic geometry go hand in hand with software packages that implement them. Together they have established the modern field of computational algebraic geometry which has come to play a major role in both theoretical advances and applications. Over the past fifteen years, several excellent general purpose packages for computations in algebraic geometry have been developed, such as, CoCoA, Singular and Macaulay 2. While these packages evolve continuously, incorporating new mathematical advances, they both motivate and demand the creation of new mathematics and smarter algorithms.

This volume reflects the workshop a oeSoftware for Algebraic Geometrya held in the week from 23 to 27 October 2006, as the second workshop in the thematic year on Applications of Algebraic Geometry at the IMA. The papers in this volume describe the software packages Bertini, PHClab, Gfan, DEMiCs, SYNAPS, TrIm, Gambit, ApaTools, and the application of Risa/Asir to a conjecture on multiple zeta values. They offer the reader a broad view of current trends in computational algebraic geometry through software development and applications.

The analysis of orthogonal polynomials associated with general weights has been a major theme in classical analysis this century. The use of potential theory since the early 1980¿s had a dramatic influence on the development of orthogonal polynomials associated with weights on the real line. For many applications of orthogonal polynomials, for example in approximation theory and numerical analysis, it is not asymptotics but certain bounds that are most important. In this monograph, the authors define and discuss their classes of weights, state several of their results on Christoffel functions, Bernstein inequalities, restricted range inequalities, and record their bounds on the orthogonal polynomials as well as their asymptotic results. This book will be of interest to researchers in approximation theory and potential theory, as well as in some branches of engineering.

Clifford analysis, a branch of mathematics that has been developed since about 1970, has important theoretical value and several applications. In this book, the authors introduce many properties of regular functions and generalized regular functions in real Clifford analysis, as well as harmonic functions in complex Clifford analysis. It covers important developments in handling the incommutativity of multiplication in Clifford algebra, the definitions and computations of high-order singular integrals, boundary value problems, and so on. In addition, the book considers harmonic analysis and boundary value problems in four kinds of characteristic fields proposed by Luogeng Hua for complex analysis of several variables. The great majority of the contents originate in the authors' investigations, and this new monograph will be interesting for researchers studying the theory of functions.

Introduction In the last few years a few monographs dedicated to the theory of topolog ical rings have appeared [Warn27], [Warn26], [Wies 19], [Wies 20], [ArnGM]. Ring theory can be viewed as a particular case of Z-algebras. Many general results true for rings can be extended to algebras over commutative rings. In topological algebra the structure theory for two classes of topological algebras is well developed: Banach algebras; and locally compact rings. The theory of Banach algebras uses results of Banach spaces, and the theory of locally compact rings uses the theory of LCA groups. As far as the author knows, the first papers on the theory of locally compact rings were [Pontr1]' [J1], [J2], [JT], [An], lOt], [K1]' [K2]' [K3], [K4], [K5], [K6]. Later two papers, [GS1,GS2]appeared, which contain many results concerning locally compact rings. This book can be used in two w.ays. It contains all necessary elementary results from the theory of topological groups and rings. In order to read these parts of the book the reader needs to know only elementary facts from the theories of groups, rings, modules, topology. The book consists of two parts.

The aim of this book is to extend the understanding of the fundamental role of generalizations of Lie and related non-commutative and non-associative structures in Mathematics and Physics. This is a thematic volume devoted to the interplay between several rapidly exp- ding research ?elds in contemporary Mathematics and Physics, such as generali- tions of the main structures of Lie theory aimed at quantization and discrete and non-commutative extensions of differential calculus and geometry, non-associative structures, actions of groups and semi-groups, non-commutative dynamics, n- commutative geometry and applications in Physics and beyond. The speci?c ?elds covered by this volume include: * Applications of Lie, non-associative and non-commutative associative structures to generalizations of classical and quantum mechanics and non-linear integrable systems, operadic and group theoretical methods; * Generalizations and quasi-deformations of Lie algebras such as color and super Lie algebras, quasi-Lie algebras, Hom-Lie algebras, in?nite-dimensional Lie algebras of vector ?elds associated to Riemann surfaces, quasi-Lie algebras of Witt type and their central extensions and deformations important for in- grable systems, for conformal ? eld theory and for string theory; * Non-commutative deformation theory, moduli spaces and interplay with n- commutativegeometry,algebraicgeometryandcommutativealgebra,q-deformed differential calculi and extensions of homological methods and structures; * Crossed product algebras and actions of groups and semi-groups, graded rings and algebras, quantum algebras, twisted generalizations of coalgebras and Hopf algebra structures such as Hom-coalgebras, Hom-Hopf algebras, and super Hopf algebras and their applications to bosonisation, parastatistics, parabosonic and parafermionic algebras, orthoalgebas and root systems in quantum mechanics;

This book is intended to provide a reasonably self-contained account of a major portion of the general theory of rings and modules suitable as a text for introductory and more advanced graduate courses. We assume the famil iarity with rings usually acquired in standard undergraduate algebra courses. Our general approach is categorical rather than arithmetical. The continuing theme of the text is the study of the relationship between the one-sided ideal structure that a ring may possess and the behavior of its categories of modules. Following a brief outline of set-theoretic and categorical foundations, the text begins with the basic definitions and properties of rings, modules and homomorphisms and ranges through comprehensive treatments of direct sums, finiteness conditions, the Wedderburn-Artin Theorem, the Jacobson radical, the hom and tensor functions, Morita equivalence and duality, de composition theory of injective and projective modules, and semi perfect and perfect rings. In this second edition we have included a chapter containing many of the classical results on artinian rings that have hdped to form the foundation for much of the contemporary research on the representation theory of artinian rings and finite dimensional algebras. Both to illustrate the text and to extend it we have included a substantial number of exercises covering a wide spectrum of difficulty. There are, of course" many important areas of ring and module theory that the text does not touch upon."

This book is concerned with discontinuous groups of motions of the unique connected and simply connected Riemannian 3-manifold of constant curva ture -1, which is traditionally called hyperbolic 3-space. This space is the 3-dimensional instance of an analogous Riemannian manifold which exists uniquely in every dimension n:::: 2. The hyperbolic spaces appeared first in the work of Lobachevski in the first half of the 19th century. Very early in the last century the group of isometries of these spaces was studied by Steiner, when he looked at the group generated by the inversions in spheres. The ge ometries underlying the hyperbolic spaces were of fundamental importance since Lobachevski, Bolyai and Gauss had observed that they do not satisfy the axiom of parallels. Already in the classical works several concrete coordinate models of hy perbolic 3-space have appeared. They make explicit computations possible and also give identifications of the full group of motions or isometries with well-known matrix groups. One such model, due to H. Poincare, is the upper 3 half-space IH in JR . The group of isometries is then identified with an exten sion of index 2 of the group PSL(2,"

This book is the first monograph on the theory of endomorphism rings of Abelian groups. The theory is a rapidly developing area of algebra and has its origin in the theory of operators of vector spaves. The text contains additional information on groups themselves, introducing new concepts, methods, and classes of groups. All the main fields of the theory of endomorphism rings of Abelian groups from early results to the most recent are covered. Neighbouring results on endomorphism rings of modules are also mentioned.
This text has many pedagogical features:

-all the necessary definitions and formulations of assertions on Abelian groups, rings, and modules are gathered in the first two sections;
-each chapter begins with a brief summary of results;
-there are exercises of varying difficulty in each section;
-lesser known facts on rings and modules are presented with proofs;
-there are comments at the end of each chapter together with a brief historical review as well as a look at the future direction of modern research;
-an extensive bibliography is provided. This book will be invaluable as a background text for introductory as well as advanced graduate courses. Professional algebraists might find it useful as a first systematic presentation of results previously only to be found scattered throughout various journals.

Structured matrices serve as a natural bridge between the areas of algebraic computations with polynomials and numerical matrix computations, allowing cross-fertilization of both fields. This book covers most fundamental numerical and algebraic computations with Toeplitz, Hankel, Vandermonde, Cauchy, and other popular structured matrices. Throughout the computations, the matrices are represented by their compressed images, called displacements, enabling both a unified treatment of various matrix structures and dramatic saving of computer time and memory. The resulting superfast algorithms allow further dramatic parallel acceleration using FFT and fast sine and cosine transforms. Included are specific applications to other fields, in particular, superfast solutions to: various fundamental problems of computer algebra; the tangential Nevanlinna--Pick and matrix Nehari problems The primary intended readership for this work includes researchers, algorithm designers, and advanced graduate students in the fields of computations with structured matrices, computer algebra, and numerical rational interpolation. The book goes beyond research frontiers and, apart from very recent research articles, includes yet unpublished results. To serve a wider audience, the presentation unfolds systematically and is written in a user-friendly engaging style. Only some preliminary knowledge of the fundamentals of linear algebra is required. This makes the material accessible to graduate students and new researchers who wish to study the rapidly exploding area of computations with structured matrices and polynomials. Examples, tables, figures, exercises, extensive bibliography, and index lend this text toclassroom use or self-study.

Algebraic K-Theory plays an important role in many areas of modern mathematics: most notably algebraic topology, number theory, and algebraic geometry, but even including operator theory. The broad range of these topics has tended to give the subject an aura of inapproachability. This book, based on a course at the University of Maryland in the fall of 1990, is intended to enable graduate students or mathematicians working in other areas not only to learn the basics of algebraic K-Theory, but also to get a feel for its many applications. The required prerequisites are only the standard one-year graduate algebra course and the standard introductory graduate course on algebraic and geometric topology. Many topics from algebraic topology, homological algebra, and algebraic number theory are developed as needed. The final chapter gives a concise introduction to cyclic homology and its interrelationship with K-Theory.