"This book revives and vastly expands the classical theory of resultants and discriminants. Most of the main new results of the book have been published earlier in more than a dozen joint papers of the authors. The book nicely complements these original papers with many examples illustrating both old and new results of the theory."—Mathematical Reviews

This book sets out an account of the tools which Frobenius used to discover representation theory for nonabelian groups and describes its modern applications. It provides a new viewpoint from which one can examine various aspects of representation theory and areas of application, such as probability theory and harmonic analysis. For example, the focal objects of this book, group matrices, can be thought of as a generalization of the circulant matrices which are behind many important algorithms in information science. The book is designed to appeal to several audiences, primarily mathematicians working either in group representation theory or in areas of mathematics where representation theory is involved. Parts of it may be used to introduce undergraduates to representation theory by studying the appealing pattern structure of group matrices. It is also intended to attract readers who are curious about ideas close to the heart of group representation theory, which do not usually appear in modern accounts, but which offer new perspectives.

Tribute to the vision and legacy of Israel Moiseevich Gel'fand Written by leading mathematicians, these invited papers reflect the unity of mathematics as a whole, with particular emphasis on the many connections among the fields of geometry, physics, and representation theory Topics include conformal field theory, K-theory, noncommutative geometry, gauge theory, representations of infinite-dimensional Lie algebras, and various aspects of the Langlands program

Central to this collection of papers are new developments in the general theory of localization of spaces. This field has undergone tremendous change of late and is yielding new insight into the mysteries of classical homotopy theory. The present volume comprises the refereed articles submitted at the Conference on Algebraic Topology held in Sant Feliu de Guíxols, Spain, in June 1994. Several comprehensive articles on general localization clarify the basic tools and give a report on the state of the art in the subject matter. The text is therefore accessible not only to the professional mathematician but also to the advanced student.

Toric varieties are algebraic varieties arising from elementary geometric and combinatorial objects such as convex polytopes in Euclidean space with vertices on lattice points. Since many algebraic geometry notions such as singularities, birational maps, cycles, homology, intersection theory, and Riemann-Roch translate into simple facts about polytopes, toric varieties provide a marvelous source of examples in algebraic geometry. In the other direction, general facts from algebraic geometry have implications for such polytopes, such as to the problem of the number of lattice points they contain. In spite of the fact that toric varieties are very special in the spectrum of all algebraic varieties, they provide a remarkably useful testing ground for general theories. The aim of this mini-course is to develop the foundations of the study of toric varieties, with examples, and describe some of these relations and applications. The text concludes with Stanley's theorem characterizing the numbers of simplicies in each dimension in a convex simplicial polytope. Although some general theorems are quoted without proof, the concrete interpretations via simplicial geometry should make the text accessible to beginners in algebraic geometry.

This carefully prepared manuscript presents elimination theory in weighted projective spaces over arbitrary noetherian commutative base rings. Elimination theory is a classical topic in commutative algebra and algebraic geometry, and it has become of renewed importance recently in the context of applied and computational algebra. This monograph pro

This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, held in Beijing, China in September 2006. The 18 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 39 submissions. Based on heuristics and mathematical algorithmics, artificial intelligence and symbolic computation are two views and approaches for automating (mathematical) problem solving. The papers address all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia. The papers are organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management.

This book contains a collection of articles corresponding to some of the talks delivered at the Foundations of Computational Mathematics conference held at IMPA in Rio de Janeiro in January 1997. Some ofthe others are published in the December 1996 issue of the Journal of Complexity. Both of these publications were available and distributed at the meeting. Even in this aspect we hope to have achieved a synthesis of the mathematics and computer science cultures as well as of the disciplines. The reaction to the Park City meeting on Mathematics of Numerical Analy sis: Real Number Algorithms which was chaired by Steve Smale and had around 275 participants, was very enthusiastic. At the suggestion of Narendra Karmar mar a lunch time meeting of Felipe Cucker, Arieh Iserles, Narendra Karmarkar, Jim Renegar, Mike Shub and Steve Smale decided to try to hold a periodic meeting entitled "Foundations of Computational Mathematics" and to form an organization with the same name whose primary purpose will be to hold the meeting. This is then the first edition of FoCM as such. It has been organized around a small collection of workshops, namely - Systems of algebraic equations and computational algebraic geometry - Homotopy methods and real machines - Information-based complexity - Numerical linear algebra - Approximation and PDEs - Optimization - Differential equations and dynamical systems - Relations to computer science - Vision and related computational tools There were also twelve plenary speakers.

This book brings together for the first time 140 letters from Sylvester's correspondence in an attempt to separate the fact from the many myths surrounding his life and work --

Arising from the fourth Dagstuhl conference entitled Visualization and Processing of Tensors and Higher Order Descriptors for Multi-Valued Data (2011), this book offers a broad and vivid view of current work in this emerging field. Topics covered range from applications of the analysis of tensor fields to research on their mathematical and analytical properties. Part I, Tensor Data Visualization, surveys techniques for visualization of tensors and tensor fields in engineering, discusses the current state of the art and challenges, and examines tensor invariants and glyph design, including an overview of common glyphs. The second Part, Representation and Processing of Higher-order Descriptors, describes a matrix representation of local phase, outlines mathematical morphological operations techniques, extended for use in vector images, and generalizes erosion to the space of diffusion weighted MRI. Part III, Higher Order Tensors and Riemannian-Finsler Geometry, offers powerful mathematical language to model and analyze large and complex diffusion data such as High Angular Resolution Diffusion Imaging (HARDI) and Diffusion Kurtosis Imaging (DKI). A Part entitled Tensor Signal Processing presents new methods for processing tensor-valued data, including a novel perspective on performing voxel-wise morphometry of diffusion tensor data using kernel-based approach, explores the free-water diffusion model, and reviews proposed approaches for computing fabric tensors, emphasizing trabecular bone research. The last Part, Applications of Tensor Processing, discusses metric and curvature tensors, two of the most studied tensors in geometry processing. Also covered is a technique for diagnostic prediction of first-episode schizophrenia patients based on brain diffusion MRI data. The last chapter presents an interactive system integrating the visual analysis of diffusion MRI tractography with data from electroencephalography.