Gives an introduction to minimax methods in critical point theory and shows their use in... Læs mere
What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. This DIMACS volume presents the papers contributed to... Læs mere
Examines the connections between Artificial Intelligence (AI) and mathematics, demonstrating the potential for mathematical applications and exposing some... Læs mere
Bolibrukh presents the negative solution of Hilbert's 21st problem for linear Fuchsian systems of differential equations. Methods developed by... Læs mere
Presents the expanded notes from ten lectures given by the author at the NSF/CBMS conference held at California State University (Bakersfield). This book includes complete proofs and illuminating discussions and gives references for further study.
Explores the rich and complex structure of free lattices. This book presents an exposition of the basic theory of free lattices, projective lattices, and lattices which are bounded homomorphic images of a free lattice, as well as applications of these results to other areas.
Deals with the study of algebras of functions on quantum groups. This book includes the theory of Poisson Lie groups (quasi-classical version of algebras... Læs mere
Generally speaking, algebraic combinatorics involves the use of techniques from algebra, algebraic topology, and algebraic geometry in solving... Læs mere
Introduces equivariant homotopy, homology, and cohomology theory, along with various related topics in modern algebraic topology. This book begins with a... Læs mere
The CBMS lecture series, held in Albany, New York in June 1994, aimed to introduce the audience to the literature on complex dynamics in higher dimension. This book... Læs mere
This volume, containing the proceedings of an international conference commemorating the 50th anniversary of the journal... Læs mere