Translations. Ser. 2, 159. Proceedings of the St. Petersburg Mathematical Society. - 2 PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Translations. Ser. 2, 159. Proceedings of the St. Petersburg Mathematical Society. - 2 PDF full book. Access full book title Translations. Ser. 2, 159. Proceedings of the St. Petersburg Mathematical Society. - 2 by United States. Office of Naval Research. Download full books in PDF and EPUB format.
Author: United States. Office of Naval Research Publisher: American Mathematical Soc. ISBN: 9780821895931 Category : Mathematics Languages : en Pages : 238
Book Description
This book contains papers on a wide range of topics, including diophantine equations, algebraic number theory, ring theory, theory of functions of a real variable, partial differential equations, approximation of functions, differential geometry, computing theory, and statistical mechanics. The last three papers present historical perspectives on mathematics in St. Petersburg.
Author: United States. Office of Naval Research Publisher: American Mathematical Soc. ISBN: 9780821895931 Category : Mathematics Languages : en Pages : 238
Book Description
This book contains papers on a wide range of topics, including diophantine equations, algebraic number theory, ring theory, theory of functions of a real variable, partial differential equations, approximation of functions, differential geometry, computing theory, and statistical mechanics. The last three papers present historical perspectives on mathematics in St. Petersburg.
Author: Leonid Arkadʹevich Bokutʹ Publisher: American Mathematical Soc. ISBN: 9780821802861 Category : Algebra Languages : en Pages : 204
Book Description
This book contains papers presented at the Third Siberian School: Algebra and Analysis, held in Irkutsk in the summer of 1989. Drawing 130 participants from all over the former Soviet Union, the school sought to acquaint Siberian and other mathematicians with the latest achievements in a wide variety of mathematical areas and to give young researchers an opportunity to present their work. The papers presented here range over topics in algebra, analysis, geometry, and topology.
Author: G. E. Mints Publisher: American Mathematical Soc. ISBN: 9780821895986 Category : Computational complexity Languages : en Pages : 206
Book Description
This collection contains translations of papers on propositional satisfiability and related logical problems which appeared in Problemy 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 inverse method in automated deduction, which was discovered at the same time as the resolution method of J. A. Robinson 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 proposititional satisfiability and related logical problems. The papers related to Maslov's iterative method of search reduction play a significant role.
Author: United States. Office of Naval Research
Author: United States. Office of Naval Research
Author: Nina Nikolaevna Uralʹt︠s︡eva
Author: Olʹga Aleksandrovna Ladyzhenskai︠a︡
Author: Nina Nikolaevna Uralʹt︠s︡eva
Author: Leonid Arkadʹevich Bokutʹ
Author: G. E. Mints
Author: O. A. Ladyzhenskai?a︡
Author: Alexei Alexandrov
Author: 
Author: