This collection is designed to acquaint readers with advances in Radon transforms carried out in the former Soviet Union. The papers focus on mathematical problems related to applications of Radon transforms. Some of the problems arose from practical tomography, while others are theoretical problems originating in tomography. The book should be of use to mathematicians working in integral geometry and mathematical problems of tomography, as well as scientists who work on inverse problems and their computer realization.
The emergence of singularity theory marks the return of mathematics to the study of the simplest analytical objects: functions, graphs, curves, surfaces. The modern singularity theory for smooth mappings, which is currently undergoing intensive developments, can be thought of as a crossroad where the most abstract topics (such as algebraic and differential geometry and topology, complex analysis, invariant theory, and Lie group theory) meet the most applied topics (such as dynamical systems, mathematical physics, geometrical optics, mathematical economics, and control theory). The papers in this volume include reviews of established areas as well as presentations of recent results in singularity theory. The authors have paid special attention to examples and discussion of results rather than burying the ideas in formalism, notation, and technical details. The aim is to introduce all mathematicians - as well as physicists, engineers, and other consumers of singularity theory - to the world of ideas and methods in this burgeoning area.
Upon publication, the first edition of the CRC Concise Encyclopedia of Mathematics received overwhelming accolades for its unparalleled scope, readability, and utility. It soon took its place among the top selling books in the history of Chapman & Hall/CRC, and its popularity continues unabated. Yet also unabated has been the d
This collection contains translations of papers on propositional satisfiability and related logical problems which appeared in roblemy Sokrashcheniya Perebora, published in Russian in 1987 by the Scientific Council "Cybernetics" of the USSR Academy of Sciences. The problems form the nucleus of this intensively developing area. This translation is dedicated to the memory of two remarkable Russian mathematicians, Sergei Maslov and his wife Nina Maslova. Maslov is known as the originator of the universe method in automated deduction, which was discovered at the same time as the resolution method of J. A. Robison and has approximately the same range of applications. In 1981, Maslov proposed an iterative algorithm for propositional satisfiability based on some general ideas of search described in detail in his posthumously published book, Theory of Deductive Systems and Its Applications (1986; English 1987). This collection contains translations of papers on propositional satisfiability and related logical problems. The papers related to Maslov's iterative method of search reduction play a significant role.
This book presents papers that originally appeared in the Japanese journal Sugaku. The papers explore the relationship between number theory, algebraic geometry, and differential geometry.
In celebration of E.B. Dynkin's 70th birthday, this book presents current papers by those who participated in Dynkin's seminar on Lie groups and Lie algebras in the late 1950s and early 1960s. Dynkin had a major influence not only on mathematics, but also on the students who attended his seminar-many of whom are today's leading mathematicians in Russia and in the U.S. Dynkin's contributions to the theory of Lie groups is well known, and the survey paper by Karpelevich, Onishchik, and Vinberg allows readers to gain a deeper understanding of this work. Features several aspects of modern develo.
This book presents papers in the general area of mathematical analysis as it pertains to probability and statistics, dynamical systems, differential equations, and analytic function theory. Among the topics discussed are: stochastic differential equations, spectra of the Laplacian and Schrödinger operators, nonlinear partial differential equations which generate dissipative dynamical systems, fractal analysis on self-similar sets, and the global structure of analytic functions.