The Journal
- 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
- Five lectures given by Yuri Matiyasevich. Hilbert's 10th Problem — What can we do with Diophantine equations (lecture abstracts, notes and video).
- Panu Raatikainen. The Problem of the Simplest Diophantine Representation. .
- Karlis Podnieks. Chapter 4 of the textbook for students in mathematical logic AROUND THE GOEDEL'S THEOREM (this chapter is devoted to Hilbert's Tenth Problem).