Graduated from Faculty of Mathematics and Mechanics of Leningrad State University in 1969. Ph. D. thesis was defended in 1970. D. Sci. thesis was defended in 1972. Published more than 100 papers and one book.
Yu. V. Matiyasevich, “The Riemann hypothesis as the parity of special binomial coefficients”, Chebyshevskii Sb., 19:3 (2018), 46–60; Doklady Mathematics (Supplementary issues), 106:2 (2022), 256–261
Yu. V. Matiyasevich, “A few factors from the Euler product are sufficient for calculating the zeta function with high precision”, Trudy Mat. Inst. Steklova, 299 (2017), 192–202; Proc. Steklov Inst. Math., 299 (2017), 178–188
Yu. V. Matiyasevich, “Riemann’s hypothesis in terms of the eigenvalues of special Hankel matrices”, Sovrem. Probl. Mat., 23 (2016), 87–101; Proc. Steklov Inst. Math., 296, suppl. 2 (2017), 78–91
Yu. Matiyasevich, “Calculation of Belyǐ functions for trees with weighted edges”, Zap. Nauchn. Sem. POMI, 446 (2016), 122–138; J. Math. Sci. (N. Y.), 226:5 (2017), 623–634
2015
6.
Yu. V. Matiyasevich, “Riemann's zeta function and finite Dirichlet series”, Algebra i Analiz, 27:6 (2015), 174–198; St. Petersburg Math. J., 27:6 (2016), 985–1002
Yu. V. Matiyasevich, “Yet Another Representation for Reciprocals of the Nontrivial Zeros of the Riemann Zeta Function”, Mat. Zametki, 97:3 (2015), 471–474; Math. Notes, 97:3 (2015), 476–479
2011
8.
Yu. V. Matiyasevich, “What can and cannot be done with Diophantine problems”, Trudy Mat. Inst. Steklova, 275 (2011), 128–143; Proc. Steklov Inst. Math., 275 (2011), 118–132
Yu. V. Matiyasevich, “Alternatives to the Euler–Maclaurin Formula for Calculating Infinite Sums”, Mat. Zametki, 88:4 (2010), 543–548; Math. Notes, 88:4 (2010), 524–529
Yu. V. Matiyasevich, “A Diophantine Representation of Bernoulli Numbers and Its Applications”, Trudy Mat. Inst. Steklova, 242 (2003), 98–102; Proc. Steklov Inst. Math., 242 (2003), 86–91
12.
Yu. V. Matiyasevich, “One Probabilistic equivalent of the four color conjecture”, Teor. Veroyatnost. i Primenen., 48:2 (2003), 411–416; Theory Probab. Appl., 48:2 (2004), 368–372
Yu. V. Matiyasevich, “Some algebraic methods for calculation of the number of colorings of a graph”, Zap. Nauchn. Sem. POMI, 283 (2001), 193–205; J. Math. Sci. (N. Y.), 121:3 (2004), 2401–2408
Yu. V. Matiyasevich, “A new technique for obtaining Diophantine representations via elimination of bounded universal quantifiers”, Zap. Nauchn. Sem. POMI, 220 (1995), 83–92; J. Math. Sci. (New York), 87:1 (1997), 3228–3233
1990
16.
Yu. V. Matiyasevich, A. N. Terekhov, B. A. Fedotov, “Standardization of microcomputer software using virtual-machine design”, Avtomat. i Telemekh., 1990, no. 5, 168–175; Autom. Remote Control, 51:5 (1990), 710–716
1989
17.
Yu. V. Matiyasevich, “A relationship between certain sums over trivial and nontrivial zeros of the Riemann zeta-function”, Mat. Zametki, 45:2 (1989), 65–70; Math. Notes, 45:2 (1989), 131–135
Yu. V. Matiyasevich, “Studies in certain algorithmic problems of algebra and number theory”, Trudy Mat. Inst. Steklov., 168 (1984), 218–235; Proc. Steklov Inst. Math., 168 (1986), 227–252
Yu. V. Matiyasevich, “An analytic representation for the sum of values inverse to nontrivial zeros of the Riemann zeta function”, Trudy Mat. Inst. Steklov., 163 (1984), 181–182; Proc. Steklov Inst. Math., 163 (1985), 211–213
Yu. V. Matiyasevich, “Primes are nonnegative values of a polynomial in 10 variables”, Zap. Nauchn. Sem. LOMI, 68 (1977), 62–82; J. Soviet Math., 15:1 (1981), 33–44
Yu. V. Matiyasevich, “A class of primality criteria formulated in terms of the divisibility of binomial coefficients”, Zap. Nauchn. Sem. LOMI, 67 (1977), 167–183; J. Soviet Math., 16:1 (1981), 874–885
Yu. V. Matiyasevich, “A new proof of the theorem on exponential diophantine representation of enumerable sets”, Zap. Nauchn. Sem. LOMI, 60 (1976), 75–92; J. Soviet Math., 14:5 (1980), 1475–1486
Yu. V. Matiyasevich, “On metamathematical approach to proving theorems of discrete mathematics”, Zap. Nauchn. Sem. LOMI, 49 (1975), 31–50
1974
25.
Yu. V. Matiyasevich, “A proof scheme in discrete mathematics”, Zap. Nauchn. Sem. LOMI, 40 (1974), 94–100
26.
Yu. V. Matiyasevich, “The existence of non-effectivizable estimates in the theory of exponential Diophantine equations”, Zap. Nauchn. Sem. LOMI, 40 (1974), 77–93
Yu. V. Matiyasevich, “The application of the methods of the theory of logical derivation to graph theory”, Mat. Zametki, 12:6 (1972), 781–790; Math. Notes, 12:6 (1972), 904–908
Yu. V. Matiyasevich, “Arithmetical representations of recursively enumerable sets with a small number of quantifiers”, Zap. Nauchn. Sem. LOMI, 32 (1972), 77–84
Yu. V. Matiyasevich, “A connection between systems of words-and-lengths equations and Hilbert's tenth problem”, Zap. Nauchn. Sem. LOMI, 8 (1968), 132–144
S. N. Artemov, L. D. Beklemishev, L. Ya. Borkin, A. M. Vershik, E. A. Hirsch, E. Ya. Dantsin, I. A. Ibragimov, E. V. Kalmens, V. Ya. Kreinovich, D. A. Koubenski, A. A. Lodkin, Yu. V. Matiyasevich, B. A. Novikov, V. P. Orevkov, A. L. Semenov, A. O. Slissenko, A. Kh. Shen, “Gregory Samuilovich Tseytin (obituary)”, Uspekhi Mat. Nauk, 78:3(471) (2023), 170–176; Russian Math. Surveys, 78:3 (2023), 555–561
2022
42.
S. N. Artemov, J. M. Barzdiņš, L. A. Bokut', Yu. Gurevich, A. M. Dekhtyar', L. A. Levin, I. A. Lomazova, Yu. V. Matiyasevich, V. A. Nepomnyashchii, S. P. Novikov, A. Rabinovich, V. Yu. Sazonov, A. O. Slisenko, V. A. Sokolov, M. B. Trakhtenbrot, N. V. Shilov, “Boris Abramovich Trakhtenbrot (on the centenary of his birth)”, Uspekhi Mat. Nauk, 77:1(463) (2022), 191–195; Russian Math. Surveys, 77:1 (2022), 183–188
2021
43.
Yu. Matiyasevich, “Десятая проблема Гильберта”, Kvant, 2021, no. 2, 2–8
D. Yu. Burago, Yu. D. Burago, A. L. Verner, A. M. Vershik, M. L. Gromov, I. A. Ibragimov, S. V. Ivanov, S. V. Kislyakov, S. S. Kutateladze, A. A. Lodkin, Yu. V. Matiyasevich, N. E. Mnev, A. I. Nazarov, G. Yu. Panina, Yu. G. Reshetnyak, V. A. Rizhik, N. N. Uraltseva, Ya. M. Eliashberg, “Viktor Abramovich Zalgaller (obituary)”, Uspekhi Mat. Nauk, 76:5(461) (2021), 195–198; Russian Math. Surveys, 76:5 (2021), 927–931
45.
M. I. Belishev, S. Yu. Dobrokhotov, I. A. Ibragimov, A. P. Kiselev, S. V. Kislyakov, M. A. Lyalinov, Yu. V. Matiyasevich, V. G. Romanov, V. P. Smyshlyaev, T. A. Suslina, N. N. Ural'tseva, “Vasilii Mikhailovich Babich (on his ninetieth birthday)”, Uspekhi Mat. Nauk, 76:1(457) (2021), 201–202; Russian Math. Surveys, 76:1 (2021), 193–194
2020
46.
S. V. Vostokov, Yu. V. Matiyasevich, Yu. V. Nesterenko, V. N. Chubarikov, V. I. Bernik, A. Laurinčikas, V. G. Zhuravlev, V. G. Chirskii, N. M. Dobrovol'skii, U. M. Pachev, F. V. Podsypanin, I. Yu. Rebrova, B. M. Shirokov, N. N. Dobrovol'skii, “Evgeny Vladimirovich Podsypanin”, Chebyshevskii Sb., 21:4 (2020), 425–426
47.
L. D. Beklemishev, A. V. Vasil'ev, E. P. Vdovin, S. S. Goncharov, V. V. Kozlov, P. S. Kolesnikov, V. D. Mazurov, Yu. V. Matiyasevich, A. S. Morozov, A. N. Parshin, V. G. Puzarenko, M. V. Schwidefsky, “Yurii Leonidovich Ershov (on his 80th birthday)”, Uspekhi Mat. Nauk, 75:3(453) (2020), 191–194; Russian Math. Surveys, 75:3 (2020), 581–585
48.
S. I. Adian, V. M. Buchstaber, E. I. Zelmanov, S. V. Kislyakov, V. V. Kozlov, Yu. V. Matiyasevich, S. P. Novikov, D. O. Orlov, A. N. Parshin, V. L. Popov, D. V. Treschev, “Vladimir Petrovich Platonov (on his 80th birthday)”, Uspekhi Mat. Nauk, 75:2(452) (2020), 197–200; Russian Math. Surveys, 75:2 (2020), 387–391
2019
49.
S. I. Adian, N. N. Andreev, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, Yu. V. Matiyasevich, Yu. S. Osipov, M. R. Pentus, V. A. Plungyan, E. V. Rakhilina, V. A. Sadovnichii, A. L. Semenov, S. G. Tatevosov, V. M. Tikhomirov, A. Kh. Shen, “Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)”, Uspekhi Mat. Nauk, 74:4(448) (2019), 165–180; Russian Math. Surveys, 74:4 (2019), 735–753
S. A. Aivazyan, V. B. Alekseev, V. A. Vatutin, M. M. Glukhov, A. A. Grusho, V. A. Emelichev, A. M. Zubkov, G. I. Ivchenko, O. M. Kasim-zade, V. A. Kashtanov, I. N. Kovalenko, V. B. Kudryavtsev, V. V. Mazalov, Yu. V. Matiyasevich, Yu. I. Medvedev, V. G. Mikhailov, Yu. L. Pavlov, B. A. Pogorelov, È. A. Primenko, L. Ya. Savel'ev, V. N. Sachkov, S. A. Stepanov, V. P. Chistyakov, V. N. Chubarikov, “Валентин Федорович Колчин (1934–2016)”, Diskr. Mat., 28:4 (2016), 3–5
2013
51.
Yu. V. Matiyasevich, “Алан Тьюринг и теория чисел”, Mat. Pros., Ser. 3, 17 (2013), 6–34
52.
M. A. Vsemirnov, È. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, I. D. Zaslavskii, È. F. Karavaev, B. Yu. Konev, N. K. Kossovskii, V. A. Lifschitz, M. Margenstern, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, R. Pliuškevičius, A. O. Slisenko, S. V. Solov'ev, V. P. Chernov, “Nikolai Aleksandrovich Shanin (obituary)”, Uspekhi Mat. Nauk, 68:4(412) (2013), 173–176; Russian Math. Surveys, 68:4 (2013), 763–767
53.
D. A. Archangelsky, B. S. Baizhanov, O. V. Belegradek, V. Ya. Belyaev, L. A. Bokut, M. K. Valiev, S. K. Vodopyanov, M. Gitik, Yu. S. Gurevich, D. O. Daderkin, A. M. Dekhtyar, M. I. Dekhtyar, A. Ya. Dikovsky, S. M. Dudakov, E. I. Zelmanov, B. I. Zilber, S. L. Krushkal, S. S. Kutateladze, Yu. V. Matiyasevich, G. E. Mints, I. Kh. Musikaev, A. K. Rebrov, Yu. G. Reshetnyak, A. L. Semenov, A. P. Stolboushkin, I. A. Taimanov, B. A. Trakhtenbrot, “Mikhail Abramovich Taitslin (1936–2013)”, Sib. Èlektron. Mat. Izv., 10 (2013), 54–65
2012
54.
Juhani Karhumäki, Yuri Matiyasevich, “Preface”, Zap. Nauchn. Sem. POMI, 402 (2012), 5–8
2010
55.
D. R. Heath-Brown, A. MacIntyre, Yu. I. Manin, Yu. V. Matiyasevich, B. Z. Moroz, “Preface”, Zap. Nauchn. Sem. POMI, 377 (2010), 5; J. Math. Sci. (N. Y.), 171:6 (2010), 703
2003
56.
Yu. V. Matiyasevich, “Preface”, Zap. Nauchn. Sem. POMI, 304 (2003), 5–6
2001
57.
M. A. Vsemirnov, E. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, A. A. Ivanov, B. Yu. Konev, V. A. Lifshits, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his 80th birthday)”, Uspekhi Mat. Nauk, 56:3(339) (2001), 181–184; Russian Math. Surveys, 56:3 (2001), 601–605
Yu. V. Matiyasevich, “R. Penrose. “The emperor's new mind”. Oxford University Press, Oxford etc., 1989, xiii+466 pp.”, Algebra i Analiz, 3:5 (1991), 254–265
1990
59.
Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his seventieth birthday)”, Uspekhi Mat. Nauk, 45:1(271) (1990), 205–206; Russian Math. Surveys, 45:1 (1990), 239–240
G. V. Davydov, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, A. V. Sochilina, N. A. Shanin, “Sergei Yur'evich Maslov (obituary)”, Uspekhi Mat. Nauk, 39:2(236) (1984), 129–130; Russian Math. Surveys, 39:2 (1984), 133–135
S. Yu. Maslov, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his sixtieth birthday)”, Uspekhi Mat. Nauk, 35:2(212) (1980), 241–245; Russian Math. Surveys, 35:2 (1980), 277–282
A New Life of the Old Sieve Yu. V. Matiyasevich Joint Mathematical seminar of Saint Petersburg State University and Peking University April 8, 2021 16:00
Computational aspect of Hamburger’s theorem Yu. V. Matiyasevich XV International Conference «Algebra, Number Theory and Discrete Geometry: modern problems and applications», dedicated to the centenary of the birth of the Doctor of Physical and Mathematical Sciences, Professor of the Moscow State University Korobov Nikolai Mikhailovich May 28, 2018 12:20
What can we do with Diophantine problems and what we cannot do Yuri Matiyasevich International conference "GEOMETRY, TOPOLOGY, ALGEBRA and NUMBER THEORY, APPLICATIONS" dedicated to the 120th anniversary of Boris Delone (1890–1980) August 20, 2010 11:10
Hidden life of Riemann's zeta function Yu. V. Matiyasevich General Mathematics Seminar of the St. Petersburg Division of Steklov Institute of Mathematics, Russian Academy of Sciences October 8, 2007