Новая техника для получения диафантовых представлений путем устранения ограниченных кванторов общности Ю.В. Матиясевич — 1995 Zapiski naucnych seminarov POMI
Две редукции 10-й проблемы Гильберта Ю.В. Матиясевич — 1968 Zapiski naucnych seminarov Leningradskogo
Одна схема доказательств в дискретной математике Ю.В. Матиясевич — 1974 Zapiski naucnych seminarov Leningradskogo
Один класс критериев простоты, формулируемых в терминах делимости биномиальных коэффициентов Ю.В. Матиясевич — 1977 Zapiski naucnych seminarov Leningradskogo
Арифметические представления степеней Ю.В. Матиясевич — 1968 Zapiski naucnych seminarov Leningradskogo
О метаматематическом подходе к доказательству теорем дискретной математики Ю.В. Матиясевич — 1975 Zapiski naucnych seminarov Leningradskogo
Арифметические представления перечислимых множеств с небольшим числом кванторов Ю.В. Матиясевич — 1973 Zapiski naucnych seminarov Leningradskogo
Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов Ю.В. Матиясевич — 1976 Zapiski naucnych seminarov Leningradskogo
Связь систем уравнений в словах и длинах с 10-й проблемой Гильберта Ю.В. Матиясевич — 1968 Zapiski naucnych seminarov Leningradskogo
Существование неэффективизируемых оценок в теории экспоненциально диофантовых уравнений Ю.В. Матиясевич — 1974 Zapiski naucnych seminarov Leningradskogo
Достаточное условие сходимости монотонных последовательностей Ю.В. Матиясевич — 1971 Zapiski naucnych seminarov Leningradskogo
Простые числа перечисляются полиномом от 10 переменных Ю.В. Матиясевич — 1977 Zapiski naucnych seminarov Leningradskogo
О распознавании в реальное время отношения вхождения Ю.В. Матиясевич — 1971 Zapiski naucnych seminarov Leningradskogo
Исправления к сборникам "Исследования по конструктивной математике и математической логике". II (1968) и III (1969) Ю.В. Матиясевич; А.О. Слисенко — 1971 Zapiski naucnych seminarov Leningradskogo