×

zbMATH — the first resource for mathematics

Matiyasevich, Yuriĭ Vladimirovich

Compute Distance To:
Author ID: matiyasevich.yuri-v Recent zbMATH articles by "Matiyasevich, Yuriĭ Vladimirovich"
Published as: Matiyasevich, Yu. V.; Matiyasevich, Yuri; Matiyasevich, Yu.; Matiyasevich, Yuri V.; Matiyasevich, Yuriĭ Vladimirovich; Matijasevic, Jurii; Matiyasevich, Y.; Matijasevič, Yu. V.; Matijasevich, Yu.; Matijasevic, Yuri; Matijasevic, Y.
Homepage: http://logic.pdmi.ras.ru/~yumat/index.php
External Links: MacTutor · MGP · ORCID · Wikidata · Google Scholar · Math-Net.Ru · dblp · GND · IdRef
Documents Indexed: 147 Publications since 1967, including 8 Books
all top 5

Co-Authors

98 single-authored
7 Mints, Grigoriĭ Efroimovich
6 Slisenko, A. O.
5 Cegielski, Patrick
5 Orevkov, V. P.
4 Guessarian, Irène
4 Halava, Vesa
4 Karhumaki, Juhani
3 Grigor’ev, Dmitriĭ Yur’evich
3 Robinson, Julia
3 Vsemirnov, M. A.
2 Adyan, Sergeĭ Ivanovich
2 Artemov, Sergei
2 Beklemishev, Lev D.
2 Beliakov, Gleb
2 Dantsin, E. Ya.
2 Davydov, G. V.
2 Diekert, Volker
2 Goncharov, Sergeĭ Savost’yanovich
2 Kislyakov, Sergeĭ Vital’evich
2 Konev, B. Yu.
2 Kozlov, Valeriĭ Vasil’evich
2 Lifschitz, Vladimir
2 Margenstern, Maurice
2 Maslov, S. Yu.
2 Muscholl, Anca
2 Nerode, Anil
2 Parshin, Alexei N.
2 Zel’manov, Efim Isaakovich
1 Andreev, N. N.
1 Arkhangel’skiĭ, Dmitriĭ A.
1 Baizhanov, Bektur Sembiuly
1 Beauquier, Danièle
1 Belegradek, Oleg V.
1 Belishev, Mikhail Igorevitch
1 Belyaev, V. Ya.
1 Boasson, Luc
1 Bokut, Leonid A.
1 Bondarko, Mikhail Vladimirovich
1 Boone, William W.
1 Bukhshtaber, Viktor Matveevich
1 Cao, Huiqin
1 Chernov, V. P.
1 Collins, Donald J.
1 Daderkin, Dmitri O.
1 Davis, Martin David
1 Dekhtyar, Alexander M.
1 Dikovsky, Alexander Yakovlevich
1 Dobrokhotov, Sergei Yurievich
1 Dudakov, Sergey M.
1 Dybkova, E. V.
1 Ershov, Yuriĭ Leonidovich
1 Fedotov, B. A.
1 Generalov, Aleksandr Ivanovich
1 Girsh, È. A.
1 Gitik, Moti
1 Gordeev, Nikolai L.
1 Gurevich, Yuri
1 Guy, Richard Kenneth
1 Heath-Brown, Roger
1 Hirsch, Edward A.
1 Ibragimov, Il’dar Abdullovich
1 Ivanov, Aleksandr Aleksandrovich
1 Jones, Gareth A.
1 Karavaev, Eh. F.
1 Kari, Jarkko
1 Kiselev, Aleksei P.
1 Kolesnikov, Pavel Sergeevich
1 Kossovsky, N. K.
1 Krushkal, Samuel L.
1 Kutateladze, Semën Samsonovich
1 Leonov, Gennadiĭ Alekseevich
1 Lifshits, Yury
1 Lur’e, B. B.
1 Lyalinov, Mikhail Anatolievich
1 Macintyre, Angus John
1 Manin, Yuri Ivanovich
1 Mazalov, Vladimir Viktorovich
1 Mazurov, Viktor Danilovich
1 Merkur’ev, Aleksandr Sergeevich
1 Moroz, Boris Zelikovich Baruch ben Zelik
1 Morozov, Andreĭ Sergeevich
1 Musikaev, Ilmir Kh.
1 Niskanen, Reino
1 Novikov, Sergeĭ Petrovich
1 Orlov, Dmitri O.
1 Osipov, Yuriĭ Sergeevich
1 Panin, Ivan A.
1 Pentus, Mati
1 Pliuškevičius, Regimantas
1 Plungyan, V. A.
1 Popov, Vladimir Leonidovich
1 Puzarenko, Vadim G.
1 Rakhilina, E. V.
1 Rebrov, A. K.
1 Reshetnyak, Yuriĭ Grigor’evich
1 Richard, Denis
1 Romanov, Vladimir Gavrilovich
1 Sadovnichiĭ, Viktor Antonovich
1 Saidak, Filip
1 Schwidefsky, Marina V.
...and 30 more Co-Authors
all top 5

Serials

11 Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta Imeni V. A. Steklova
10 Journal of Soviet Mathematics
9 Russian Mathematical Surveys
8 Journal of Mathematical Sciences (New York)
7 Annals of Pure and Applied Logic
6 Theoretical Computer Science
5 Proceedings of the Steklov Institute of Mathematics
4 Mathematical Notes
4 Fundamenta Informaticae
3 Acta Arithmetica
3 Soviet Mathematics. Doklady
3 Trudy Matematicheskogo Instituta Imeni V. A. Steklova
2 American Mathematical Monthly
2 Matematicheskie Zametki
2 Journal of Number Theory
2 The Journal of Symbolic Logic
2 Chebyshevskiĭ Sbornik
1 Information Processing Letters
1 Moscow University Mathematics Bulletin
1 Uspekhi Matematicheskikh Nauk [N. S.]
1 The Mathematical Intelligencer
1 Theory of Probability and its Applications
1 Annales des Sciences Mathématiques du Québec
1 BIT
1 Illinois Journal of Mathematics
1 Journal of Graph Theory
1 Matematikai Lapok
1 Mathematics and Computers in Simulation
1 Mathematics of the USSR. Izvestiya
1 Cybernetics
1 Selecta Mathematica Sovietica
1 Automation and Remote Control
1 Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya
1 Vestnik Moskovskogo Universiteta. Seriya I. Matematika, Mekhanika
1 Vestnik St. Petersburg University. Mathematics
1 Experimental Mathematics
1 Zapiski Nauchnykh Seminarov POMI
1 Voprosy Kibernetiki (Moskva)
1 Metody Diskretnogo Analiza
1 Combinatorics, Probability and Computing
1 St. Petersburg Mathematical Journal
1 RAIRO. Theoretical Informatics and Applications
1 Integers
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 International Journal of Number Theory
1 Diskretnyĭ Analiz
1 Lecture Notes in Computer Science

Publications by Year

Citations contained in zbMATH Open

80 Publications have been cited 525 times in 386 Documents Cited by Year
Hilbert’s tenth problem. (Desyataya problema Gil’berta.) Zbl 0790.03009
Matiyasevich, Yu. V.
101
1993
Enumerable sets are diophantine. Zbl 0212.33401
Matiyasevich, Yu. V.
98
1970
Decision problems for semi-Thue systems with a few rules. Zbl 1078.03033
Matiyasevich, Yuri; Sénizergues, Géraud
25
2005
Register machine proof of the theorem on exponential diophantine representation of enumerable sets. Zbl 0599.03043
Jones, J. P.; Matiyasevich, Yu. V.
21
1984
Reduction of an arbitrary diophantine equation to one in 13 unknowns. Zbl 0279.10019
Matijasevic, Jurii; Robinson, Julia
21
1975
Hilbert’s tenth problem: Diophantine equations: Positive aspects of a negative solution. Zbl 0346.02026
Davis, Martin; Matijasevic, Yuri; Robinson, Julia
20
1976
Simple examples of undecidable associative calculi. Zbl 0189.01102
Matiyasevich, Yu. V.
13
1967
Proof of recursive unsolvability of Hilbert’s Tenth Problem. Zbl 0746.03006
Jones, J. P.; Matiyasevich, Yu. V.
12
1991
Hilbert’s tenth problem. With a foreword by Martin Davis. Zbl 0790.03008
Matiyasevich, Yuri V.
11
1993
Hilbert’s Tenth Problem: What was done and what is to be done. Zbl 0994.03002
Matiyasevich, Yuri
9
2000
Diophantine representation of recursively enumerable predicates. Zbl 0235.02039
Matiyasevich, Yu. V.
9
1971
Window subsequence problems for compressed texts. Zbl 1178.68694
Cégielski, Patrick; Guessarian, Irène; Lifshits, Yury; Matiyasevich, Yuri
8
2006
Approximation of Riemann’s zeta function by finite Dirichlet series: a multiprecision numerical approach. Zbl 1381.11075
Beliakov, Gleb; Matiyasevich, Yuri
8
2015
Some decision problems for traces. Zbl 0899.20030
Matiyasevich, Yuri
7
1997
A new formula for \(\pi\). Zbl 0614.10003
Matiyasevich, Yuri V.; Guy, Richard K.
6
1986
Window-accumulated subsequence matching problem is linear. Zbl 0998.68042
Boasson, Luc; Cegielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
6
2002
Solving word equations modulo partial commutations. Zbl 0930.68074
Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca
6
1999
Diophantine representation of enumerable predicates. Zbl 0252.02047
Matiyasevich, Yu. V.
6
1972
Diophantine sets. Zbl 0269.02019
Matiyasevich, Yu. V.
6
1972
A new proof of the theorem on exponential diophantine representation of enumerable sets. Zbl 0449.03043
Matiyasevich, Yu. V.
5
1980
A new representation for the symmetric binomial coefficient and its applications. Zbl 0499.03028
Jones, J. P.; Matiyasevich, Yu. V.
4
1982
Computation paradigms in light of Hilbert’s tenth problem. Zbl 1136.03001
Matiyasevich, Yuri
4
2008
Horizontal monotonicity of the modulus of the zeta function, \(L\)-functions, and related functions. Zbl 1319.11055
Matiyasevich, Yu.; Saidak, F.; Zvengrowski, P.
4
2014
A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic. Zbl 1338.65117
Beliakov, Gleb; Matiyasevich, Yuri
4
2016
Eine Diophantische Darstellung aufzählbarer Prädikate. Zbl 0219.02035
Matiyasevich, Yu. V.
4
1971
Diophantine representation of the set of prime numbers. Zbl 0222.10018
Matiyasevich, Yu. V.
4
1971
Solution of the tenth problem of Hilbert. Zbl 0223.02041
Matiyasevich, Yu. V.
4
1970
Some probabilistic restatements of the four color conjecture. Zbl 1053.05050
Matiyasevich, Yuri
4
2004
Solving trace equations using lexicographical normal forms. Zbl 1401.68161
Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca
3
1997
Hilbert’s tenth problem and paradigms of computation. Zbl 1115.03004
Matiyasevich, Yuri
3
2005
Yet another machine experiment in support of Riemann’s hypothesis. Zbl 0516.10032
Matiyasevich, Yu. V.
3
1982
On a representation of a chromatic polynomial. Zbl 0435.05025
Matiyasevich, Yu. V.
3
1977
Computation of generalized Chebyshev polynomials by computer. Zbl 0892.41017
Matiyasevich, Yu. V.
3
1996
Calculation of Belyi functions for trees with weighted edges. Zbl 1377.05032
Matiyasevich, Yu.
3
2017
A direct method for simulating partial recursive functions by Diophantine equations. Zbl 0795.03054
Matiyasevich, Yuri
3
1994
Definability and decidability issues in extensions of the integers with the divisibility predicate. Zbl 0868.11061
Cegielski, Patrick; Matiyasevich, Yuri; Richard, Denis
3
1996
Real-time recognition of the inclusion relation. Zbl 0253.02043
Matiyasevich, Yu. V.
3
1973
Computational rediscovery of Ramanujan’s tau numbers. Zbl 1441.11203
Matiyasevich, Yuri
3
2018
The existence of non-effectivizable estimates in the theory of exponential Diophantine equations. Zbl 0361.02057
Matiyasevich, Yu. V.
3
1974
On investigations in some algorithmic problems of algebra and number theory. Zbl 0597.03020
Matiyasevich, Yu. V.
2
1984
Algorithmic unsolvability of exponential diophantine equations in three unknowns. Zbl 0541.10023
Matiyasevich, Yu. V.
2
1984
An analytic representation for the sum of values which are reciprocals of the nontrivial zeros of the Riemann zeta-function. Zbl 0551.10030
Matiyasevich, Yu. V.
2
1984
Possible nontraditional methods of establishing unsatisfiability of propositional formulas. Zbl 0901.03008
Matiyasevich, Yu. V.
2
1987
Primes are nonnegative values of a polynomial in 10 variables. Zbl 0446.10046
Matiyasevich, Yu. V.
2
1981
Existence of noneffectivizable estimates in the theory of exponential Diophantine equations. Zbl 0404.03036
Matiyasevich, Yu. V.
2
1977
Tree inclusion problems. Zbl 1149.68040
Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
2
2008
What can and cannot be done with Diophantine problems. Zbl 1294.03016
Matiyasevich, Yu. V.
2
2011
Riemann’s zeta function and finite Dirichlet series. Zbl 1383.11107
Matiyasevich, Yu. V.
2
2016
A binomial representation of the \(3x+1\) problem. Zbl 0968.11011
Margenstern, Maurice; Matiyasevich, Yuri
2
1999
The connection between Hilbert’s tenth problem and systems of equations between words and lengths. Zbl 0212.33301
Matiyasevich, Yu. V.
2
1968
Two reductions of Hilbert’s tenth problem. Zbl 0212.33302
Matiyasevich, Yu. V.
2
1968
Hilbert’s tenth problem: Diophantine equations in the twentieth century. Zbl 1088.01013
Matiyasevich, Yu. V.
2
2006
Multiple serial episodes matching. Zbl 1187.68178
Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
2
2006
A few factors from the Euler product are sufficient for calculating the zeta function with high precision. Zbl 1425.11193
Matiyasevich, Yu. V.
2
2017
Existential arithmetization of Diophantine equations. Zbl 1160.03022
Matiyasevich, Yuri
2
2009
A class of criteria for primality in terms of divisibility of binomial coefficients. Zbl 0355.10003
Matiyasevich, Yu. V.
2
1977
Primes are non-negative values of a polynomial in 10 variables. Zbl 0357.10034
Matiyasevich, Yu. V.
2
1977
Alternatives to the Euler-Maclaurin formula for calculating infinite sums. Zbl 1237.40001
Matiyasevich, Yu. V.
2
2010
Towards finite-fold Diophantine representations. Zbl 1282.11166
Matiyasevich, Yu.
2
2010
Nikolai Aleksandrovich Shanin (on his sixtieth birthday). Zbl 0459.01018
Maslov, S. Yu.; Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O.
2
1980
A posteriori interval analysis. Zbl 0581.65031
Matiyasevich, Yu. V.
1
1985
What is there to do after the establishment of unsolvability of an algorithmic problem? Zbl 0583.03025
Matiyasevich, Yu.
1
1982
On investigations on some algorithmic problems in algebra and number theory. Zbl 0614.03036
Matiyasevich, Yu. V.
1
1986
Relations between some sums with respect to trivial and nontrivial zeros of the Riemann zeta function. Zbl 0663.10041
Matiyasevich, Yu. V.
1
1989
Nikolai Aleksandrovich Shanin (on his 80th birthday). Zbl 1017.01517
Vsemirnov, M. A.; Girsh, È. A.; Grigor’ev, D. Yu.; Davydov, G. V.; Dantsin, E. Ya.; Ivanov, A. A.; Konev, B. Yu.; Lifshits, V. A.; Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O.
1
2001
My collaboration with Julia Robinson. Zbl 0770.01005
Matiyasevich, Yuri
1
1992
Computer evaluation of generalized Chebyshev polynomials. Zbl 0908.41018
Matiyasevich, Yu. V.
1
1996
Einfache Beispiele nichtauflösbarer kanonischer Kalküle. Zbl 0193.31801
Matiyasevich, Yu. V.
1
1967
Diophantine representation of recursively enumerable predicates. Zbl 0223.02042
Matiyasevich, Yu. V.
1
1971
Plausible ways for calculating the Riemann zeta function via the Riemann-Siegel theta function. Zbl 07118793
Matiyasevich, Yu.
1
2020
The Riemann hypothesis as the parity of special binomial coefficients. Zbl 1434.11183
Matiyasevich, Yuriĭ Vladimirovich
1
2018
Congruences for Apéry numbers \(\beta_n = \sum_{k = 0}^n \binom{n}{k}^2 \binom{n + k}{k}\). Zbl 07205412
Cao, Hui-Qin; Matiyasevich, Yuri; Sun, Zhi-Wei
1
2020
Computational aspects of Hamburger’s theorem. Zbl 1461.11114
Matiyasevich, Yuri
1
2019
On a metamathematical approach to proving theorems of discrete mathematics. Zbl 0325.68048
Matiyasevich, Yu. V.
1
1975
A proof scheme in discrete mathematics. Zbl 0359.68106
Matiyasevich, Yu. V.
1
1974
Arithmetical representations of enumerable sets with a small number of quantifiers. Zbl 0375.02036
Matiyasevich, Yu. V.
1
1976
Some purely mathematical results inspired by mathematical logic. Zbl 0377.02001
Matiyasevich, Yu. V.
1
1977
Riemann’s zeta function: more computations and conjectures. Zbl 1329.11087
Matiyasevich, Yuri
1
2008
A relationship between certain sums over trivial and nontrivial zeros of the Riemann zeta-function. Zbl 0683.10033
Matiyasevich, Yu. V.
1
1989
Nikolaj Aleksandrovich Shanin (on his seventieth birthday). Zbl 0704.01021
Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O.
1
1990
Plausible ways for calculating the Riemann zeta function via the Riemann-Siegel theta function. Zbl 07118793
Matiyasevich, Yu.
1
2020
Congruences for Apéry numbers \(\beta_n = \sum_{k = 0}^n \binom{n}{k}^2 \binom{n + k}{k}\). Zbl 07205412
Cao, Hui-Qin; Matiyasevich, Yuri; Sun, Zhi-Wei
1
2020
Computational aspects of Hamburger’s theorem. Zbl 1461.11114
Matiyasevich, Yuri
1
2019
Computational rediscovery of Ramanujan’s tau numbers. Zbl 1441.11203
Matiyasevich, Yuri
3
2018
The Riemann hypothesis as the parity of special binomial coefficients. Zbl 1434.11183
Matiyasevich, Yuriĭ Vladimirovich
1
2018
Calculation of Belyi functions for trees with weighted edges. Zbl 1377.05032
Matiyasevich, Yu.
3
2017
A few factors from the Euler product are sufficient for calculating the zeta function with high precision. Zbl 1425.11193
Matiyasevich, Yu. V.
2
2017
A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic. Zbl 1338.65117
Beliakov, Gleb; Matiyasevich, Yuri
4
2016
Riemann’s zeta function and finite Dirichlet series. Zbl 1383.11107
Matiyasevich, Yu. V.
2
2016
Approximation of Riemann’s zeta function by finite Dirichlet series: a multiprecision numerical approach. Zbl 1381.11075
Beliakov, Gleb; Matiyasevich, Yuri
8
2015
Horizontal monotonicity of the modulus of the zeta function, \(L\)-functions, and related functions. Zbl 1319.11055
Matiyasevich, Yu.; Saidak, F.; Zvengrowski, P.
4
2014
What can and cannot be done with Diophantine problems. Zbl 1294.03016
Matiyasevich, Yu. V.
2
2011
Alternatives to the Euler-Maclaurin formula for calculating infinite sums. Zbl 1237.40001
Matiyasevich, Yu. V.
2
2010
Towards finite-fold Diophantine representations. Zbl 1282.11166
Matiyasevich, Yu.
2
2010
Existential arithmetization of Diophantine equations. Zbl 1160.03022
Matiyasevich, Yuri
2
2009
Computation paradigms in light of Hilbert’s tenth problem. Zbl 1136.03001
Matiyasevich, Yuri
4
2008
Tree inclusion problems. Zbl 1149.68040
Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
2
2008
Riemann’s zeta function: more computations and conjectures. Zbl 1329.11087
Matiyasevich, Yuri
1
2008
Window subsequence problems for compressed texts. Zbl 1178.68694
Cégielski, Patrick; Guessarian, Irène; Lifshits, Yury; Matiyasevich, Yuri
8
2006
Hilbert’s tenth problem: Diophantine equations in the twentieth century. Zbl 1088.01013
Matiyasevich, Yu. V.
2
2006
Multiple serial episodes matching. Zbl 1187.68178
Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
2
2006
Decision problems for semi-Thue systems with a few rules. Zbl 1078.03033
Matiyasevich, Yuri; Sénizergues, Géraud
25
2005
Hilbert’s tenth problem and paradigms of computation. Zbl 1115.03004
Matiyasevich, Yuri
3
2005
Some probabilistic restatements of the four color conjecture. Zbl 1053.05050
Matiyasevich, Yuri
4
2004
Window-accumulated subsequence matching problem is linear. Zbl 0998.68042
Boasson, Luc; Cegielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
6
2002
Nikolai Aleksandrovich Shanin (on his 80th birthday). Zbl 1017.01517
Vsemirnov, M. A.; Girsh, È. A.; Grigor’ev, D. Yu.; Davydov, G. V.; Dantsin, E. Ya.; Ivanov, A. A.; Konev, B. Yu.; Lifshits, V. A.; Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O.
1
2001
Hilbert’s Tenth Problem: What was done and what is to be done. Zbl 0994.03002
Matiyasevich, Yuri
9
2000
Solving word equations modulo partial commutations. Zbl 0930.68074
Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca
6
1999
A binomial representation of the \(3x+1\) problem. Zbl 0968.11011
Margenstern, Maurice; Matiyasevich, Yuri
2
1999
Some decision problems for traces. Zbl 0899.20030
Matiyasevich, Yuri
7
1997
Solving trace equations using lexicographical normal forms. Zbl 1401.68161
Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca
3
1997
Computation of generalized Chebyshev polynomials by computer. Zbl 0892.41017
Matiyasevich, Yu. V.
3
1996
Definability and decidability issues in extensions of the integers with the divisibility predicate. Zbl 0868.11061
Cegielski, Patrick; Matiyasevich, Yuri; Richard, Denis
3
1996
Computer evaluation of generalized Chebyshev polynomials. Zbl 0908.41018
Matiyasevich, Yu. V.
1
1996
A direct method for simulating partial recursive functions by Diophantine equations. Zbl 0795.03054
Matiyasevich, Yuri
3
1994
Hilbert’s tenth problem. (Desyataya problema Gil’berta.) Zbl 0790.03009
Matiyasevich, Yu. V.
101
1993
Hilbert’s tenth problem. With a foreword by Martin Davis. Zbl 0790.03008
Matiyasevich, Yuri V.
11
1993
My collaboration with Julia Robinson. Zbl 0770.01005
Matiyasevich, Yuri
1
1992
Proof of recursive unsolvability of Hilbert’s Tenth Problem. Zbl 0746.03006
Jones, J. P.; Matiyasevich, Yu. V.
12
1991
Nikolaj Aleksandrovich Shanin (on his seventieth birthday). Zbl 0704.01021
Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O.
1
1990
Relations between some sums with respect to trivial and nontrivial zeros of the Riemann zeta function. Zbl 0663.10041
Matiyasevich, Yu. V.
1
1989
A relationship between certain sums over trivial and nontrivial zeros of the Riemann zeta-function. Zbl 0683.10033
Matiyasevich, Yu. V.
1
1989
Possible nontraditional methods of establishing unsatisfiability of propositional formulas. Zbl 0901.03008
Matiyasevich, Yu. V.
2
1987
A new formula for \(\pi\). Zbl 0614.10003
Matiyasevich, Yuri V.; Guy, Richard K.
6
1986
On investigations on some algorithmic problems in algebra and number theory. Zbl 0614.03036
Matiyasevich, Yu. V.
1
1986
A posteriori interval analysis. Zbl 0581.65031
Matiyasevich, Yu. V.
1
1985
Register machine proof of the theorem on exponential diophantine representation of enumerable sets. Zbl 0599.03043
Jones, J. P.; Matiyasevich, Yu. V.
21
1984
On investigations in some algorithmic problems of algebra and number theory. Zbl 0597.03020
Matiyasevich, Yu. V.
2
1984
Algorithmic unsolvability of exponential diophantine equations in three unknowns. Zbl 0541.10023
Matiyasevich, Yu. V.
2
1984
An analytic representation for the sum of values which are reciprocals of the nontrivial zeros of the Riemann zeta-function. Zbl 0551.10030
Matiyasevich, Yu. V.
2
1984
A new representation for the symmetric binomial coefficient and its applications. Zbl 0499.03028
Jones, J. P.; Matiyasevich, Yu. V.
4
1982
Yet another machine experiment in support of Riemann’s hypothesis. Zbl 0516.10032
Matiyasevich, Yu. V.
3
1982
What is there to do after the establishment of unsolvability of an algorithmic problem? Zbl 0583.03025
Matiyasevich, Yu.
1
1982
Primes are nonnegative values of a polynomial in 10 variables. Zbl 0446.10046
Matiyasevich, Yu. V.
2
1981
A new proof of the theorem on exponential diophantine representation of enumerable sets. Zbl 0449.03043
Matiyasevich, Yu. V.
5
1980
Nikolai Aleksandrovich Shanin (on his sixtieth birthday). Zbl 0459.01018
Maslov, S. Yu.; Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O.
2
1980
On a representation of a chromatic polynomial. Zbl 0435.05025
Matiyasevich, Yu. V.
3
1977
Existence of noneffectivizable estimates in the theory of exponential Diophantine equations. Zbl 0404.03036
Matiyasevich, Yu. V.
2
1977
A class of criteria for primality in terms of divisibility of binomial coefficients. Zbl 0355.10003
Matiyasevich, Yu. V.
2
1977
Primes are non-negative values of a polynomial in 10 variables. Zbl 0357.10034
Matiyasevich, Yu. V.
2
1977
Some purely mathematical results inspired by mathematical logic. Zbl 0377.02001
Matiyasevich, Yu. V.
1
1977
Hilbert’s tenth problem: Diophantine equations: Positive aspects of a negative solution. Zbl 0346.02026
Davis, Martin; Matijasevic, Yuri; Robinson, Julia
20
1976
Arithmetical representations of enumerable sets with a small number of quantifiers. Zbl 0375.02036
Matiyasevich, Yu. V.
1
1976
Reduction of an arbitrary diophantine equation to one in 13 unknowns. Zbl 0279.10019
Matijasevic, Jurii; Robinson, Julia
21
1975
On a metamathematical approach to proving theorems of discrete mathematics. Zbl 0325.68048
Matiyasevich, Yu. V.
1
1975
The existence of non-effectivizable estimates in the theory of exponential Diophantine equations. Zbl 0361.02057
Matiyasevich, Yu. V.
3
1974
A proof scheme in discrete mathematics. Zbl 0359.68106
Matiyasevich, Yu. V.
1
1974
Real-time recognition of the inclusion relation. Zbl 0253.02043
Matiyasevich, Yu. V.
3
1973
Diophantine representation of enumerable predicates. Zbl 0252.02047
Matiyasevich, Yu. V.
6
1972
Diophantine sets. Zbl 0269.02019
Matiyasevich, Yu. V.
6
1972
Diophantine representation of recursively enumerable predicates. Zbl 0235.02039
Matiyasevich, Yu. V.
9
1971
Eine Diophantische Darstellung aufzählbarer Prädikate. Zbl 0219.02035
Matiyasevich, Yu. V.
4
1971
Diophantine representation of the set of prime numbers. Zbl 0222.10018
Matiyasevich, Yu. V.
4
1971
Diophantine representation of recursively enumerable predicates. Zbl 0223.02042
Matiyasevich, Yu. V.
1
1971
Enumerable sets are diophantine. Zbl 0212.33401
Matiyasevich, Yu. V.
98
1970
Solution of the tenth problem of Hilbert. Zbl 0223.02041
Matiyasevich, Yu. V.
4
1970
The connection between Hilbert’s tenth problem and systems of equations between words and lengths. Zbl 0212.33301
Matiyasevich, Yu. V.
2
1968
Two reductions of Hilbert’s tenth problem. Zbl 0212.33302
Matiyasevich, Yu. V.
2
1968
Simple examples of undecidable associative calculi. Zbl 0189.01102
Matiyasevich, Yu. V.
13
1967
Einfache Beispiele nichtauflösbarer kanonischer Kalküle. Zbl 0193.31801
Matiyasevich, Yu. V.
1
1967
all top 5

Cited by 464 Authors

34 Matiyasevich, Yuriĭ Vladimirovich
11 Halava, Vesa
9 Harju, Tero
7 Roman’kov, Vitaly Anatol’evich
6 Diekert, Volker
6 Shlapentokh, Alexandra
5 Bell, Paul C.
5 Ibarra, Oscar H.
5 Pasten, Hector V.
5 Pheidas, Thanases
5 Potapov, Igor
4 Cegielski, Patrick
4 Dang, Zhe
4 Glaßer, Christian
4 Litow, Bruce E.
4 Paramonov, Serge V.
4 Vsemirnov, M. A.
3 Calude, Cristian S.
3 Chaitin, Gregory J.
3 Demeyer, Jeroen
3 Durnev, Valeriĭ Georgievich
3 Guessarian, Irène
3 Jeż, Artur
3 Karhumaki, Juhani
3 Kharlampovich, Olga G.
3 Lifschitz, Vladimir
3 Lohrey, Markus
3 Margenstern, Maurice
3 Mints, Grigoriĭ Efroimovich
3 Muscholl, Anca
3 Tinelli, Cesare
3 Vidaux, Xavier
3 Weimann, Oren
2 Baader, Franz
2 Beliakov, Gleb
2 Bille, Philip
2 Blass, Andreas Raphael
2 Buser, Peter
2 Dantsin, E. Ya.
2 Dilcher, Karl
2 Dose, Titus
2 Eaves, B. Curtis
2 Erofeev, S. Yu.
2 Friedli, Fabien
2 Goodall, Andrew J.
2 Grigorieff, Serge
2 Gurevich, Yuri
2 Hirvensalo, Mika
2 Hodgson, Bernard R.
2 Hoffmann, Udo
2 Holub, Štěpán
2 Kazachkov, Ilya V.
2 Kent, Clement F.
2 Khoussainov, Bakhadyr M.
2 Kieu, Tien D.
2 Kobayashi, Naoki
2 Landau, Gad M.
2 Lee, Andrew Chung-Yeung
2 Mazur, Barry
2 Moroz, Boris Zelikovich Baruch ben Zelik
2 Myasnikov, Alexei G.
2 Omodeo, Eugenio Giovanni
2 Orevkov, V. P.
2 Prunescu, Mihai
2 Remeslennikov, Vladimir Nikanorovich
2 Reynolds, Andrew
2 Rojas, J. Maurice
2 Rothblum, Uriel George
2 Rybalov, Aleksandr Nikolaevich
2 Sanna, Carlo
2 Scarpellini, Bruno
2 Seki, Shinnosuke
2 Sénizergues, Géraud
2 Shahbazyan, K. V.
2 Shoukourian, Yu. H.
2 Shutov, Anton V.
2 Smith, Warren D.
2 Speranski, Stanislav O.
2 Stannett, Mike
2 Stephan, Frank
2 Tiskin, Alexandre
2 Turakainen, Paavo
2 Tyszka, Apoloniusz
2 Velupillai, Kumaraswamy (Vela)
2 Voros, André
2 Willard, Dan E.
2 Zahidi, Karim
2 Zantema, Hans
2 Zetkina, Alena Igor’evna
2 Zetkina, Oksana Valer’evna
2 Zhukova, Alla Adol’fovna
2 Ziegler, Martin
2 Zvonkin, Alexander K.
1 Abdulla, Parosh Aziz
1 Abraham, Siby
1 Abramov, Sergeĭ Aleksandrovich
1 Adleman, Leonard Max
1 Adrianov, Nikolai M.
1 Adyan, Sergeĭ Ivanovich
1 Agoh, Takashi
...and 364 more Authors
all top 5

Cited in 119 Serials

43 Theoretical Computer Science
21 Journal of Mathematical Sciences (New York)
14 Journal of Soviet Mathematics
14 Annals of Pure and Applied Logic
12 Information and Computation
10 Applied Mathematics and Computation
9 Information Processing Letters
9 Journal of Computer and System Sciences
9 Journal of Number Theory
8 The Journal of Symbolic Logic
7 Mathematical Notes
7 Prikladnaya Diskretnaya Matematika
6 Journal of Algebra
6 International Journal of Algebra and Computation
5 Journal of Mathematical Analysis and Applications
5 Programming and Computer Software
5 International Journal of Foundations of Computer Science
5 Cybernetics and Systems Analysis
5 Chebyshevskiĭ Sbornik
4 Siberian Mathematical Journal
4 RAIRO. Theoretical Informatics and Applications
4 Proceedings of the Steklov Institute of Mathematics
3 Artificial Intelligence
3 International Journal of Theoretical Physics
3 Israel Journal of Mathematics
3 Russian Mathematical Surveys
3 Algebra and Logic
3 Inventiones Mathematicae
3 Journal of Combinatorial Theory. Series B
3 Algorithmica
3 Bulletin of the American Mathematical Society. New Series
3 Mathematical Programming. Series A. Series B
2 Acta Informatica
2 Discrete Mathematics
2 The Mathematical Intelligencer
2 Advances in Mathematics
2 Annales de l’Institut Fourier
2 Information Sciences
2 Journal of Pure and Applied Algebra
2 Mathematics and Computers in Simulation
2 Notre Dame Journal of Formal Logic
2 Proceedings of the American Mathematical Society
2 Semigroup Forum
2 Studia Logica
2 Transactions of the American Mathematical Society
2 Cybernetics
2 Advances in Applied Mathematics
2 Journal of Symbolic Computation
2 Journal of Complexity
2 Constructive Approximation
2 Journal of Automated Reasoning
2 RAIRO. Informatique Théorique et Applications
2 Applicable Algebra in Engineering, Communication and Computing
2 Mathematical Logic Quarterly (MLQ)
2 Annals of Mathematics and Artificial Intelligence
2 Theory of Computing Systems
2 Natural Computing
2 RAIRO. Theoretical Informatics and Applications
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Discrete Applied Mathematics
1 Theoretical and Mathematical Physics
1 Chaos, Solitons and Fractals
1 Automatica
1 BIT
1 Duke Mathematical Journal
1 Functiones et Approximatio. Commentarii Mathematici
1 Journal of Mathematical Economics
1 Journal of Philosophical Logic
1 Mathematics of Operations Research
1 Mathematica Slovaca
1 Mathematical Systems Theory
1 Memoirs of the American Mathematical Society
1 Metroeconomica
1 Monatshefte für Mathematik
1 RAIRO, Informatique Théorique
1 SIAM Journal on Computing
1 Tohoku Mathematical Journal. Second Series
1 European Journal of Combinatorics
1 Mathematical Social Sciences
1 Discrete & Computational Geometry
1 Formal Aspects of Computing
1 The Annals of Applied Probability
1 Automation and Remote Control
1 Proceedings of the Indian Academy of Sciences. Mathematical Sciences
1 Archive for Mathematical Logic
1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI
1 Experimental Mathematics
1 SIAM Journal on Scientific Computing
1 Journal de Théorie des Nombres de Bordeaux
1 Combinatorics, Probability and Computing
1 St. Petersburg Mathematical Journal
1 Numerical Linear Algebra with Applications
1 Journal of Functional Programming
1 The Bulletin of Symbolic Logic
1 Integral Transforms and Special Functions
1 Mathematical Methods of Operations Research
1 Journal of Combinatorial Optimization
1 Journal of Graph Algorithms and Applications
1 Journal of Group Theory
1 Discrete Dynamics in Nature and Society
...and 19 more Serials
all top 5

Cited in 40 Fields

169 Mathematical logic and foundations (03-XX)
159 Computer science (68-XX)
114 Number theory (11-XX)
38 Group theory and generalizations (20-XX)
21 Combinatorics (05-XX)
13 Numerical analysis (65-XX)
11 Operations research, mathematical programming (90-XX)
10 History and biography (01-XX)
10 Field theory and polynomials (12-XX)
9 Linear and multilinear algebra; matrix theory (15-XX)
7 Algebraic geometry (14-XX)
7 Partial differential equations (35-XX)
7 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
6 Associative rings and algebras (16-XX)
6 Functions of a complex variable (30-XX)
6 Quantum theory (81-XX)
5 Special functions (33-XX)
5 Information and communication theory, circuits (94-XX)
4 Real functions (26-XX)
3 General and overarching topics; collections (00-XX)
3 Commutative algebra (13-XX)
3 Approximations and expansions (41-XX)
3 Probability theory and stochastic processes (60-XX)
3 Mechanics of particles and systems (70-XX)
2 Order, lattices, ordered algebraic structures (06-XX)
2 Nonassociative rings and algebras (17-XX)
2 Ordinary differential equations (34-XX)
2 Difference and functional equations (39-XX)
2 Convex and discrete geometry (52-XX)
2 Statistical mechanics, structure of matter (82-XX)
2 Biology and other natural sciences (92-XX)
2 Systems theory; control (93-XX)
1 General algebraic systems (08-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Functional analysis (46-XX)
1 Operator theory (47-XX)
1 Algebraic topology (55-XX)
1 Manifolds and cell complexes (57-XX)
1 Statistics (62-XX)
1 Fluid mechanics (76-XX)

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.