Hilbert's Tenth Problem
Articles available from this site
-
Yuri Matiyasevich,
Bounding the existential variables after the elimination of a
bounded universal quantifier.
(
TeX,
DVI,
PostScript
)
-
Yuri Matiyasevich,
Elimination of
bounded universal quantifiers standing in front of a quantifier-free
arithmetical formula
(
TeX,
DVI,
PostScript
)
Articles and videos available from other sites
Back to main index of the database
on Hilbert's Tenth Problem.
Laboratory of Mathematical Logic
at
St. Petersburg Division of Steklov Institute of Mathematics (POMI)
of
Russian Academy of Sciences