Matiyasevich, Yuri - Steklov Institute of Mathematics at St. Petersburg

E-print Network

FAQ • HELP • SITE MAP • CONTACT US

Powered by Explorit

Advanced Search

Matiyasevich, Yuri - Steklov Institute of Mathematics at St. Petersburg

This is a translation of a paper published in: Teoriya Veroyatnostei i ee Primeneniya, 48(2003), 411--416
HILBERT'S TENTH PROBLEM: What can we do with Diophantine equations?
This is a translation of a paper published in: Teoriya Veroyatnostei i ee Primeneniya, 48(2003), 411416
Bounding the existential variables after the elimination of a bounded universal quantifier
TWO UNIVERSAL 3-QUANTIFIER REPRESENTATIONS OF RECURSIVELY
A binomial representation of the 3x + 1 problem Maurice Margenstern 1 and Yuri Matiyasevich 2
Elimination of bounded universal quantifiers standing in front of a quantifierfree
Publications of Yuri Matiyasevich
This is a preprint of a paper accepted for publication in: Journal of Graph Theory c (2003) John Wiley & Sons, Inc.
This is author's translation of his paper originally published in Russian in Diskretnyi Analiz, issue 26, 65-71 (1974), Novosibirsk, Institute of Mathematics of Siberian Branch
TWO UNIVERSAL 3-QUANTIFIER REPRESENTATIONS OF RECURSIVELY
Proof Procedures as Bases for Metamathematical Proofs in Discrete
This is a preprint of a paper accepted for publication in: Journal of Graph Theory c
CURRICULUM VITAE of Yuri MATIYASEVICH
The Four Colour Theorem as a possible corollary of binomial summation
Elimination of bounded universal quantifiers standing in front of a quantifier-free
Bounding the existential variables after the elimination of a bounded universal quantifier