Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ V.)
Overview
Works:  56 works in 98 publications in 4 languages and 2,256 library holdings 

Genres:  Conference papers and proceedings History Documentary films Biographical films Biography Nonfiction films Periodicals 
Roles:  Author, Interviewee, Editor, Adapter, Other, Publisher 
Publication Timeline
.
Most widely held works about
I︠U︡. V Matii︠a︡sevich
 The story of maths by Marcus Du Sautoy( Visual )
 To infinity and beyond : [mathematics in modern times]( Visual )
Most widely held works by
I︠U︡. V Matii︠a︡sevich
Hilbert's tenth problem by
I︠U︡. V Matii︠a︡sevich(
)
14 editions published between 1993 and 1996 in English and Undetermined and held by 1,557 WorldCat member libraries worldwide
14 editions published between 1993 and 1996 in English and Undetermined and held by 1,557 WorldCat member libraries worldwide
Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 1114, 1994
: proceedings by
Anil Nerode(
Book
)
13 editions published in 1994 in English and Italian and held by 389 WorldCat member libraries worldwide
"This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West. The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, modelchecking, lambdacalculi, modal logic, and problem complexity."PUBLISHER'S WEBSITE
13 editions published in 1994 in English and Italian and held by 389 WorldCat member libraries worldwide
"This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West. The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, modelchecking, lambdacalculi, modal logic, and problem complexity."PUBLISHER'S WEBSITE
Julia Robinson and Hilbert's tenth problem(
Visual
)
3 editions published in 2008 in English and Undetermined and held by 111 WorldCat member libraries worldwide
"Julia Robinson was the first woman elected to the mathematical section of the National Academy of Sciences, and the first woman to become president of the American Mathematical Society. While tracing Robinson's contribution to the solution of Hilbert's tenth problem, the film illuminates how her work led to an unusual friendship between Russian and American colleagues at the height of the Cold War."Container
3 editions published in 2008 in English and Undetermined and held by 111 WorldCat member libraries worldwide
"Julia Robinson was the first woman elected to the mathematical section of the National Academy of Sciences, and the first woman to become president of the American Mathematical Society. While tracing Robinson's contribution to the solution of Hilbert's tenth problem, the film illuminates how her work led to an unusual friendship between Russian and American colleagues at the height of the Cold War."Container
Le dixième problème de Hilbert : son indécidabilité by
I︠U︡. V Matii︠a︡sevich(
Book
)
4 editions published in 1995 in French and held by 62 WorldCat member libraries worldwide
4 editions published in 1995 in French and held by 62 WorldCat member libraries worldwide
Logical Foundations of Computer Science Third International Symposium, LFCS '94 St. Petersburg, Russia, July 1114, 1994 Proceedings by
Anil Nerode(
)
1 edition published in 1994 in English and held by 31 WorldCat member libraries worldwide
1 edition published in 1994 in English and held by 31 WorldCat member libraries worldwide
Desi︠a︡tai︠a︡ problema Gilʹberta by
I︠U︡. V Matii︠a︡sevich(
Book
)
2 editions published in 1993 in Russian and held by 16 WorldCat member libraries worldwide
2 editions published in 1993 in Russian and held by 16 WorldCat member libraries worldwide
First St. Petersburg Conference on Days of Logic and Computability : May 26 to 29, 1999, St. Petersburg, Russia by 1999, SanktPeterburg) St. Petersburg Conference on Days of Logic and Computability (1(
Book
)
3 editions published in 2002 in English and held by 9 WorldCat member libraries worldwide
3 editions published in 2002 in English and held by 9 WorldCat member libraries worldwide
Issledovanii︠a︡ po konstruktivnoĭ matematike i matematicheskoĭ logike(
)
in Russian and held by 8 WorldCat member libraries worldwide
in Russian and held by 8 WorldCat member libraries worldwide
Papers in honor of the Symposium on Logical Foundations of Computer Science, "Logic at St. Petersburg" by 1994, SanktPeterburg) LFCS (3(
Book
)
1 edition published in 1996 in English and held by 5 WorldCat member libraries worldwide
1 edition published in 1996 in English and held by 5 WorldCat member libraries worldwide
Papers in honor of the Symposium on Logical Foundations of Computer Science, 'Logic at St. Petersburg' by Symposium on Logical Foundations of Computer Science "Logic at St. Petersburg"(
Book
)
3 editions published in 1996 in English and held by 4 WorldCat member libraries worldwide
3 editions published in 1996 in English and held by 4 WorldCat member libraries worldwide
Issledovanija po konstruktivnoj matematike i matematičeskoj logike(
Book
)
2 editions published in 1979 in Russian and held by 3 WorldCat member libraries worldwide
2 editions published in 1979 in Russian and held by 3 WorldCat member libraries worldwide
Devi︠a︡tai︠a︡ Vsesoi︠u︡znai︠a︡ konferent︠s︡ii︠a︡ po matematicheskoĭ logike : Leningrad, 2729 senti︠a︡bri︠a︡ 1988 g. : posvi︠a︡shchaetsi︠a︡
85letii︠u︡ chlenakorrespondenta AN SSSR A.A. Markova : tezisy dokladov by Vsesoi︠u︡znai︠a︡ konferent︠s︡ii︠a︡ po matematicheskoĭ logike(
Book
)
1 edition published in 1988 in Russian and held by 2 WorldCat member libraries worldwide
1 edition published in 1988 in Russian and held by 2 WorldCat member libraries worldwide
Issledovanija po konstruktivnoj matematike i matematičeskoj logike(
Book
)
2 editions published in 1976 in Russian and held by 2 WorldCat member libraries worldwide
2 editions published in 1976 in Russian and held by 2 WorldCat member libraries worldwide
Calculation of Riemann's zeta function via interpolating determinants by
I︠U︡. V Matii︠a︡sevich(
)
1 edition published in 2013 in English and held by 2 WorldCat member libraries worldwide
Using intensive computer calculations, the author empirically discovered unusual methods for calculating highprecision approximations to the nontrivial zeroes of Riemann's zeta function, its values and values of its derivative on the whole complex plane. So far no theoretical explanation to these phenomena is known
1 edition published in 2013 in English and held by 2 WorldCat member libraries worldwide
Using intensive computer calculations, the author empirically discovered unusual methods for calculating highprecision approximations to the nontrivial zeroes of Riemann's zeta function, its values and values of its derivative on the whole complex plane. So far no theoretical explanation to these phenomena is known
Ma collaboration avec Julia Robinson by
I︠U︡. V Matii︠a︡sevich(
)
in French and held by 2 WorldCat member libraries worldwide
in French and held by 2 WorldCat member libraries worldwide
A new proof of the theorem on exponential diophantine representation of enumerable sets : (vru) guy l, jones j p: novoe dokazatel'stvo
teoremy ob eksponentsial'no diofantovom predstavlenii perechislmykh predikatov. (1976) by
I︠U︡. V Matii︠a︡sevich(
Book
)
2 editions published in 1980 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 1980 in English and held by 2 WorldCat member libraries worldwide
First St. Petersburg Conference on Days of Logic and Computability, May 26 to 29, 1999, St. Petersburg, Russia by St. Petersburg Conference on Days of Logic and Computability(
Book
)
2 editions published in 2002 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 2002 in English and held by 2 WorldCat member libraries worldwide
Logical foundations of computer science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 36, 2009
: proceedings by
S. N Artemov(
Book
)
2 editions published in 1994 in English and held by 2 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. The volume presents 31 revised refereed papers carefully selected by the program committee. All current aspects of logic in computer science are addressed, including constructive mathematics and type theory, logical foundations of programming, logical aspects of computational complexity, logic programming and constraints, automated deduction and interactive theorem proving, logical methods in protocol and program verification and in program specification and extraction, domain theory logics, logical foundations of database theory, equational logic and term rewriting, lambda and combinatory calculi, categorical logic and topological semantics, linear logic, epistemic and temporal logics, intelligent and multiple agent system logics, logics of proof and justification, nonmonotonic reasoning, logic in game theory and social software, logic of hybrid systems, distributed system logics, system design logics, as well as other logics in computer science
2 editions published in 1994 in English and held by 2 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2009, held in Deerfield Beach, Florida, USA in January 2008. The volume presents 31 revised refereed papers carefully selected by the program committee. All current aspects of logic in computer science are addressed, including constructive mathematics and type theory, logical foundations of programming, logical aspects of computational complexity, logic programming and constraints, automated deduction and interactive theorem proving, logical methods in protocol and program verification and in program specification and extraction, domain theory logics, logical foundations of database theory, equational logic and term rewriting, lambda and combinatory calculi, categorical logic and topological semantics, linear logic, epistemic and temporal logics, intelligent and multiple agent system logics, logics of proof and justification, nonmonotonic reasoning, logic in game theory and social software, logic of hybrid systems, distributed system logics, system design logics, as well as other logics in computer science
Papers presented at the second St. Petersburg days of logic and computability conference on the occasion of the centennial
of Andrey Andreevich Markov, Jr.(
)
1 edition published in 2006 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 2006 in English and held by 2 WorldCat member libraries worldwide
Logical foundations of computer science by LFCS '94(
Book
)
1 edition published in 1994 in English and held by 1 WorldCat member library worldwide
1 edition published in 1994 in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Nerode, Anil 1932 Publisher Author Editor
 Davis, Martin 1928 Author of introduction Interviewee
 Hilbert, David 18621943
 Putnam, Hilary Interviewee
 Skloot, Tal Film editor
 Adler, Mark Composer
 Silver, Charles L.
 Csicsery, George Paul Author of screenplay Director
 Zala Films (Firm)
 McKellar, Danica Narrator
Useful Links
Associated Subjects
Archimedes Artificial intelligence Bernoulli family Bolyai, János, Bourbaki, Nicolas Cantor, Georg, Cohen, Paul J., Computable functions Computer arithmetic and logic units Computer logic Computer science Computer software Constructive mathematics Continuum hypothesis Descartes, René, Diophantine analysis Euclid Euler, Leonhard, Galois, Évariste, Gauss, Carl Friedrich, Gödel, Kurt Grothendieck, A.(Alexandre) Hilbert, David, Hilbert's tenth problem Hindu mathematics Incompleteness theorems India Influence (Literary, artistic, etc.) Information theory Leibniz, Gottfried Wilhelm,Freiherr von, Logic, Symbolic and mathematical Logic design Mathematicians Mathematics Mathematics, Arab Mathematics, Chinese Mathematics, Egyptian Mathematics, Greek MathematicsPhilosophy Poincaré, Henri, Pythagoras Riemann, Bernhard, Riemann hypothesis Robinson, Julia, Set theory United States Weil, André, Women Women mathematicians Zero (The number)
Covers
Alternative Names
Iouri Matiassevitch mathématicien russe
Joeri Matijasevitsj
Joeri Matijasevitsj Russisch wiskundige
Juri Wladimirowitsch Matijassewitsch russischer Mathematiker
Jurij Matijasevitsj russisk informatikar og matematikar
Jurij Matijasevitsj russisk informatiker og matematiker
Jurij Vladimirovič Matijasevič matematico e informatico russo
Jurij Vladimirovič Matijasevič ruský matematik
Matiâsevič, Û. V.
Matiâsevič, Ûrij.
Matiâsevič, Ûrij Vladimirovič
Matiasevitch Iourï Vladimirovitch
Matii︠a︡sevich, I︠U︡. V.
Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ V.)
Matiiasevich Iurî Vladimirovich
Matiiasevich, Iurii V.
Matijasevič, Jurij
Matijasevič, Jurij. [t]
Matijassevich, Y.
Matiyasevich, Y.
Matiyasevich, Youri
Matiyasevich, Yu.V.
Matiyasevich, Yuri.
Matiyasevich, Yuri V.
Matiyasevich Yurii V.
Yuri Matiyaseviç
Yuri Matiyasévich matemático ruso
Yuri Matiyasevich Russian mathematician
Yuri Matiyasevich Russian mathematician and computer scientist
Матиясевич Юрий Владимирович
Матіясевич Юрій Володимирович
يوري ماتياسفيتش رياضياتي روسي
유리 마티야세비치
ユーリ・マチャセビッチ
尤里·马季亚谢维奇
Languages