Problems of Reducing the Exhaustive Search
Problems of Reducing the Exhaustive Search

Author: Vladik Kreinovich

Publisher: American Mathematical Soc.

Published: 1997

Total Pages: 202

ISBN-13: 0821803867

DOWNLOAD EBOOK

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.

Proceedings of the St. Petersburg Mathematical Society Volume III
Proceedings of the St. Petersburg Mathematical Society Volume III

Author: Ol_ga Aleksandrovna Ladyzhenskai_a

Publisher: American Mathematical Soc.

Published: 1995-06-20

Total Pages: 284

ISBN-13: 9780821895962

DOWNLOAD EBOOK

Books in this series highlight some of the most interesting works presented at symposia sponsored by the St. Petersburg Mathematical Society. Aimed at researchers in number theory, field theory, and algebraic geometry, the present volume deals primarily with aspects of the theory of higher local fields and other types of complete discretely valuated fields. Most of the papers require background in local class field theory and algebraic $K$-theory; however, two of them, ``Unit Fractions'' and ``Collections of Multiple Sums'', would be accessible to undergraduates.

Selected topics in discrete mathematics: Proceedings of the Moscow Discrete Mathematics Seminar, 1972-1990
Selected topics in discrete mathematics: Proceedings of the Moscow Discrete Mathematics Seminar, 1972-1990

Author: Alexander K. Kelmans

Publisher: American Mathematical Soc.

Published: 1994-02-18

Total Pages: 242

ISBN-13: 9780821895924

DOWNLOAD EBOOK

This is a collection of translations of a variety of papers on discrete mathematics by members of the Moscow Seminar on Discrete Mathematics. This seminar, begun in 1972, was marked by active participation and intellectual ferment. Mathematicians in the USSR often encountered difficulties in publishing, so many interesting results in discrete mathematics remained unknown in the West for some years, and some are unknown even to the present day. To help fill this communication gap, this collection offers papers that were obscurely published and very hard to find. Among the topics covered here are: graph theory, network flow and multicommodity flow, linear programming and combinatorial optimization, matroid theory and submodular systems, matrix theory and combinatorics, parallel computing, complexity of algorithms, random graphs and statistical mechanics, coding theory, and algebraic combinatorics and group theory.

Lie Groups and Lie Algebras: E. B. Dynkin's Seminar
Lie Groups and Lie Algebras: E. B. Dynkin's Seminar

Author: Semen Grigorʹevich Gindikin

Publisher: American Mathematical Soc.

Published: 1995

Total Pages: 222

ISBN-13: 9780821804544

DOWNLOAD EBOOK

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.

Nonlinear Evolution Equations
Nonlinear Evolution Equations

Author: Nina Nikolaevna Uraltseva

Publisher: American Mathematical Soc.

Published: 1995-05-19

Total Pages: 240

ISBN-13: 9780821895955

DOWNLOAD EBOOK

This collection focuses on nonlinear problems in partial differential equations. Most of the papers are based on lectures presented at the seminar on partial differential equations and mathematical physics at St. Petersburg University. Among the topics explored are the existence and properties of solutions of various classes of nonlinear evolution equations, nonlinear imbedding theorems, bifurcations of solutions, and equations of mathematical physics (Navier-Stokes type equations and the nonlinear Schrodinger equation). The book will be useful to researchers and graduate students working in partial differential equations and mathematical physics.

Some questions of differential geometry in the large
Some questions of differential geometry in the large

Author: E. V. Shikin

Publisher: American Mathematical Soc.

Published: 1996-07-16

Total Pages: 208

ISBN-13: 9780821895979

DOWNLOAD EBOOK

This collection contains articles that present recent results by geometers in Russia and the Ukraine. Papers in the collection deal with various questions related to the structure, symmetries, and embeddings of submanifolds in Euclidean and pseudo-Euclidian spaces. This collection offers a review of the challenges facing specialists in geometry in the large and features current research in the field.