WorldCat Identities

Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ V.)

Overview
Works: 45 works in 93 publications in 4 languages and 2,162 library holdings
Genres: Conference papers and proceedings  History  Documentary films  Biography  Biographical films  Nonfiction films  Periodicals 
Roles: Author, Interviewee, Editor, Adapter, Other
Classifications: QA75.5, 512.7
Publication Timeline
.
Most widely held works about I︠U︡. V Matii︠a︡sevich
 
Most widely held works by I︠U︡. V Matii︠a︡sevich
Hilbert's tenth problem by I︠U︡. V Matii︠a︡sevich( Book )

14 editions published between 1993 and 1996 in English and Undetermined and held by 447 WorldCat member libraries worldwide

Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings by Anil Nerode( Book )

16 editions published in 1994 in English and Italian and held by 264 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, model-checking, lambda-calculi, 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 112 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

Desi︠a︡tai︠a︡ problema Gilʹberta by I︠U︡. V Matii︠a︡sevich( Book )

3 editions published in 1993 in Russian and held by 15 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 )

5 editions published in 2002 in English and held by 12 WorldCat member libraries worldwide

Issledovanii︠a︡ po konstruktivnoĭ matematike i matematicheskoĭ logike( )

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 Symposium on Logical Foundations of Computer Science "Logic at St. Petersburg"( Book )

4 editions published between 1995 and 1996 in English and held by 4 WorldCat member libraries worldwide

Papers in honor of the Symposium on Logical Foundations of Computer Science "Logic at St. Petersburg"( Book )

2 editions published in 1996 in English and held by 4 WorldCat member libraries worldwide

Issledovanija po konstruktivnoj matematike i matematičeskoj logike( Book )

3 editions published in 1976 in Russian and held by 3 WorldCat member libraries worldwide

Ma collaboration avec Julia Robinson by I︠U︡. V Matii︠a︡sevich( )

in French and held by 2 WorldCat member libraries worldwide

A new proof of the theorem on exponential diophantine representation of enumerable sets by I︠U︡. V Matii︠a︡sevich( Book )

2 editions published in 1980 in English and held by 2 WorldCat member libraries worldwide

Issledovanija po konstruktivnoj matematike i matematičeskoj logike( Book )

1 edition published in 1979 in Russian and held by 2 WorldCat member libraries worldwide

Devi︠a︡tai︠a︡ Vsesoi︠u︡znai︠a︡ konferent︠s︡ii︠a︡ po matematicheskoĭ logike : Leningrad, 27-29 senti︠a︡bri︠a︡ 1988 g. : posvi︠a︡shchaetsi︠a︡ 85-letii︠u︡ chlena-korrespondenta 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

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 1 WorldCat member library worldwide

Using intensive computer calculations, the author empirically discovered unusual methods for calculating high-precision approximations to the non-trivial 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
Issledovanija po konstruktivnoj matematike i matematičeskoj logike. VII( )

1 edition published in 1976 in Russian and held by 1 WorldCat member library worldwide

Issledovanija po konstruktivnoj matematike i matematičeskoj logike. VIII( )

1 edition published in 1979 in Russian and held by 1 WorldCat member library worldwide

Hilbert's Tenth Problem (Foundations of computing) by I︠U︡. V Matii︠a︡sevich( Book )

1 edition published in 1993 in Undetermined and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.36 (from 0.07 for Hilbert's ... to 0.99 for Ma collabo ...)

WorldCat IdentitiesRelated Identities
Hilbert's tenth problem
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
English (49)

Russian (11)

French (6)

Italian (1)

Covers
Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings