Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Methods and Applications of Mathematical Logic
Constitutes the proceedings of the Seventh Latin American Symposium on Mathematical Logic, held July 29-August 2, 1985, at the University of Campinas in Brazil. This book offers an introduction to the active lines of research in mathematical logic and emphasizes the connections to other fields - philosophy, computer science and probability theory.
The Higher Infinite
Over the years, this book has become a standard reference and guide in the set theory community. It provides a comprehensive account of the theory of large cardinals from its beginnings and some of the direct outgrowths leading to the frontiers of contemporary research, with open questions and speculations throughout.
Integral Geometry and Tomography
Contains the proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Integral Geometry and Tomography, held in June 1989 at Humboldt State University in Arcata, California. This book features articles that range over such diverse areas as combinatorics, geometric inequalities, micro-local analysis, group theory, and harmonic analysis.
New Approaches in Spectral Decomposition
Aimed at a general mathematical audience, this book provides a careful exposition of developments in the theory of spectral decomposition. Bringing the reader from the basics up to the level of current research in the area at the time of writing, Lange and Wang present an accessible account of the techniques used in the theory and applications of decomposable operators and related classes of operators. The book begins with a discussion of criteria for decomposable and related types of operators, and an analysis that relates and distinguishes among them. Perturbation theory of decomposable and other operators, applications to classical Hilberty space operators, quasisimilarity, and a new class of weakly decomposable operators are also discussed. The book closes with an exposition of some classical theories on invariant subspaces for subdecomposable and hyponormal operators, and a presentation of the parallel spectral theory of commuting systems.
Regular Differential Forms
Suitable for students and researchers in commutative algebra, algebraic geometry, and neighboring disciplines, this book introduces various sheaves of differential forms for equidimensional morphisms of finite type between noetherian schemes, the most important being the sheaf of regular differential forms.
Current Progress in Hyperbolic Systems: Riemann Problems and Computations
Contains the proceedings of the AMS-IMS-SIAM Joint Summer Research Conference on Current Progress in Hyperbolic Systems: Riemann Problems and Computations, held at Bowdoin College in July 1988.
Algebraic Geometry: Sundance 1988
This volume contains the proceedings of the NSF-CBMS Regional Conference on Algebraic Geometry, held in Sundance, Utah in July 1988. The conference focused on algebraic curves and related varieties. Some of the papers collected here represent lectures delivered at the conference, some report on research done during the conference, while others describe related work carried out elsewhere.
Geometry of Random Motion
In July 1987, an AMS-IMS-SIAM Joint Summer Research Conference on Geometry of Random Motion was held at Cornell University. The initial impetus for the meeting came from the desire to further explore the now-classical connection between diffusion processes and second-order (hypo)elliptic differential operators. To accomplish this goal, the conference brought together leading researchers with varied backgrounds and interests: probabilists who have proved results in geometry, geometers who have used probabilistic methods, and probabilists who have studied diffusion processes. Focusing on the interplay between probability and differential geometry, this volume examines diffusion processes on va...
Categories in Computer Science and Logic
Presents the proceedings of AMS-IMS-SIAM Summer Research Conference on Categories in Computer Science and Logic that was held at the University of Colorado in Boulder. This book discusses the use of category theory in formalizing aspects of computer programming and program design.
Classical Groups and Related Topics
During his lifetime, L. K. Hua played a leading role in and exerted a great influence upon the development in China of modern mathematics, both pure and applied. His mathematical career began in 1931 at Tsinghua University where he continued as a professor for many years. Hua made many significant contributions to number theory, algebra, geometry, complex analysis, numerical analysis, and operations research. In particular, he initiated the study of classical groups in China and developed new matrix methods which, as applied by him as well as his followers, were instrumental in the successful attack of many problems. To honor his memory, a joint China-U.S. conference on Classical Groups and Related Topics was held at Tsinghua University in Beijing in May 1987. This volume represents the proceedings of that conference and contains both survey articles and research papers focusing on classical groups and closely related topics.
