Matiyasevich Yuri Vladimirovich

Publications in Math-Net.Ru

1. Calculation of the Values of the Riemann Zeta Function Via Values of its Derivatives at a Single Point
   
   Sirius Math. J., 1:1 (2025),  86–96
2. Asymptotic structure of eigenvalues and eigenvectors of certain triangular Hankel matrices
   
   Chebyshevskii Sb., 21:1 (2020),  259–272
3. The Riemann hypothesis as the parity of special binomial coefficients
   
   Chebyshevskii Sb., 19:3 (2018),  46–60
4. 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
5. Riemann’s hypothesis in terms of the eigenvalues of special Hankel matrices
   
   Sovrem. Probl. Mat., 23 (2016),  87–101
6. Calculation of Belyǐ functions for trees with weighted edges
   
   Zap. Nauchn. Sem. POMI, 446 (2016),  122–138
7. Riemann's zeta function and finite Dirichlet series
   
   Algebra i Analiz, 27:6 (2015),  174–198
8. Yet Another Representation for Reciprocals of the Nontrivial Zeros of the Riemann Zeta Function
   
   Mat. Zametki, 97:3 (2015),  471–474
9. What can and cannot be done with Diophantine problems
   
   Trudy Mat. Inst. Steklova, 275 (2011),  128–143
10. Alternatives to the Euler–Maclaurin Formula for Calculating Infinite Sums
    
    Mat. Zametki, 88:4 (2010),  543–548
11. Towards finite-fold Diophantine representations
    
    Zap. Nauchn. Sem. POMI, 377 (2010),  78–90
12. A Diophantine Representation of Bernoulli Numbers and Its Applications
    
    Trudy Mat. Inst. Steklova, 242 (2003),  98–102
13. One Probabilistic equivalent of the four color conjecture
    
    Teor. Veroyatnost. i Primenen., 48:2 (2003),  411–416
14. Some algebraic methods for calculation of the number of colorings of a graph
    
    Zap. Nauchn. Sem. POMI, 283 (2001),  193–205
15. Computation of generalized Chebyshev polynomials on a computer
    
    Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1996, no. 6,  59–61
16. A new technique for obtaining Diophantine representations via elimination of bounded universal quantifiers
    
    Zap. Nauchn. Sem. POMI, 220 (1995),  83–92
17. Standardization of microcomputer software using virtual-machine design
    
    Avtomat. i Telemekh., 1990, no. 5,  168–175
18. A relationship between certain sums over trivial and nontrivial zeros of the Riemann zeta-function
    
    Mat. Zametki, 45:2 (1989),  65–70
19. Diophantine complexity
    
    Zap. Nauchn. Sem. LOMI, 174 (1988),  122–131
20. Studies in certain algorithmic problems of algebra and number theory
    
    Trudy Mat. Inst. Steklov., 168 (1984),  218–235
21. 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
22. Primes are nonnegative values of a polynomial in 10 variables
    
    Zap. Nauchn. Sem. LOMI, 68 (1977),  62–82
23. A class of primality criteria formulated in terms of the divisibility of binomial coefficients
    
    Zap. Nauchn. Sem. LOMI, 67 (1977),  167–183
24. A new proof of the theorem on exponential diophantine representation of enumerable sets
    
    Zap. Nauchn. Sem. LOMI, 60 (1976),  75–92
25. On metamathematical approach to proving theorems of discrete mathematics
    
    Zap. Nauchn. Sem. LOMI, 49 (1975),  31–50
26. A proof scheme in discrete mathematics
    
    Zap. Nauchn. Sem. LOMI, 40 (1974),  94–100
27. The existence of non-effectivizable estimates in the theory of exponential Diophantine equations
    
    Zap. Nauchn. Sem. LOMI, 40 (1974),  77–93
28. The application of the methods of the theory of logical derivation to graph theory
    
    Mat. Zametki, 12:6 (1972),  781–790
29. Diophantine representation of enumerable predicates
    
    Mat. Zametki, 12:1 (1972),  115–120
30. Diophantine sets
    
    Uspekhi Mat. Nauk, 27:5(167) (1972),  185–222
31. Arithmetical representations of recursively enumerable sets with a small number of quantifiers
    
    Zap. Nauchn. Sem. LOMI, 32 (1972),  77–84
32. Diophantine representation of the set of prime numbers
    
    Dokl. Akad. Nauk SSSR, 196:4 (1971),  770–773
33. Diophantine representation of enumerable predicates
    
    Izv. Akad. Nauk SSSR Ser. Mat., 35:1 (1971),  3–30
34. On real-time recognition of the relation of occurrence
    
    Zap. Nauchn. Sem. LOMI, 20 (1971),  104–114
35. A sufficient condition for the recursive convergence of a monotone sequence
    
    Zap. Nauchn. Sem. LOMI, 20 (1971),  97–103
36. The Diophantineness of enumerable sets
    
    Dokl. Akad. Nauk SSSR, 191:2 (1970),  279–282
37. Arithmetical representations of powers
    
    Zap. Nauchn. Sem. LOMI, 8 (1968),  159–165
38. Two reductions of Hilbert's tenth problem
    
    Zap. Nauchn. Sem. LOMI, 8 (1968),  145–158
39. A connection between systems of words-and-lengths equations and Hilbert's tenth problem
    
    Zap. Nauchn. Sem. LOMI, 8 (1968),  132–144
40. Simple examples of unsolvable associative calculi
    
    Dokl. Akad. Nauk SSSR, 173:6 (1967),  1264–1266
41. Simple examples of unsolvable canonical calculi
    
    Trudy Mat. Inst. Steklov., 93 (1967),  50–88


42. Andrey Mikhailovich Zubkov (30.12.1946 — 06.08.2025)
    
    Chebyshevskii Sb., 26:3 (2025),  419–421
43. Sergey Vladimirovich Vostokov (13.04.1945 — 6.03.2025)
    
    Chebyshevskii Sb., 26:3 (2025),  416–418
44. Zubkov Andrey Mikhailovich (30.12.1946–06.08.2025)
    
    Diskr. Mat., 37:3 (2025),  3–5
45. Математическое доказательство: от поколения к поколению
    
    Mat. Pros., Ser. 3, 34 (2025),  5–35
46. Gregory Samuilovich Tseytin (obituary)
    
    Uspekhi Mat. Nauk, 78:3(471) (2023),  170–176
47. Boris Abramovich Trakhtenbrot (on the centenary of his birth)
    
    Uspekhi Mat. Nauk, 77:1(463) (2022),  191–195
48. Десятая проблема Гильберта
    
    Kvant, 2021, no. 2,  2–8
49. Viktor Abramovich Zalgaller (obituary)
    
    Uspekhi Mat. Nauk, 76:5(461) (2021),  195–198
50. Vasilii Mikhailovich Babich (on his ninetieth birthday)
    
    Uspekhi Mat. Nauk, 76:1(457) (2021),  201–202
51. Evgeny Vladimirovich Podsypanin
    
    Chebyshevskii Sb., 21:4 (2020),  425–426
52. Yurii Leonidovich Ershov (on his 80th birthday)
    
    Uspekhi Mat. Nauk, 75:3(453) (2020),  191–194
53. Vladimir Petrovich Platonov (on his 80th birthday)
    
    Uspekhi Mat. Nauk, 75:2(452) (2020),  197–200
54. Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)
    
    Uspekhi Mat. Nauk, 74:4(448) (2019),  165–180
55. Валентин Федорович Колчин (1934–2016)
    
    Diskr. Mat., 28:4 (2016),  3–5
56. Алан Тьюринг и теория чисел
    
    Mat. Pros., Ser. 3, 17 (2013),  6–34
57. Nikolai Aleksandrovich Shanin (obituary)
    
    Uspekhi Mat. Nauk, 68:4(412) (2013),  173–176
58. Mikhail Abramovich Taitslin (1936–2013)
    
    Sib. Èlektron. Mat. Izv., 10 (2013),  54–65
59. Preface
    
    Zap. Nauchn. Sem. POMI, 402 (2012),  5–8
60. Preface
    
    Zap. Nauchn. Sem. POMI, 377 (2010),  5
61. Preface
    
    Zap. Nauchn. Sem. POMI, 304 (2003),  5–6
62. Nikolai Aleksandrovich Shanin (on his 80th birthday)
    
    Uspekhi Mat. Nauk, 56:3(339) (2001),  181–184
63. R. Penrose. “The emperor's new mind”. Oxford University Press, Oxford etc., 1989, xiii+466 pp.
    
    Algebra i Analiz, 3:5 (1991),  254–265
64. Nikolai Aleksandrovich Shanin (on his seventieth birthday)
    
    Uspekhi Mat. Nauk, 45:1(271) (1990),  205–206
65. Sergei Yur'evich Maslov (obituary)
    
    Uspekhi Mat. Nauk, 39:2(236) (1984),  129–130
66. Nikolai Aleksandrovich Shanin (on his sixtieth birthday)
    
    Uspekhi Mat. Nauk, 35:2(212) (1980),  241–245
67. Editors' preface
    
    Zap. Nauchn. Sem. LOMI, 20 (1971),  7