×

Matiyasevich, Yuriĭ Vladimirovich

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; Matiyasevich, Y.; Matiiassévitch, Yuri; Matuyasevich, Yu. V.; Matijasevič, Yu. V.; Matijasevic, Jurii; Matijasevič, Juriĭ; Matijasevich, Yu.; Matijasevic, Yuri; Matijasevic, Y.
Further Spellings: Матиясевич Юрий Владимирович
Homepage: http://logic.pdmi.ras.ru/~yumat/index.php
External Links: MacTutor · MGP · ORCID · Wikidata · Google Scholar · Math-Net.Ru · dblp · GND · IdRef
all top 5

Co-Authors

110 single-authored
8 Slisenko, A. O.
7 Mints, Grigoriĭ Efroimovich
6 Orevkov, V. P.
5 Cegielski, Patrick
4 Artemov, Sergei
4 Guessarian, Irène
4 Halava, Vesa
4 Karhumaki, Juhani
4 Semënov, Alekseĭ L’vovich
3 Beklemishev, Lev D.
3 Dantsin, Evgeny
3 Grigor’ev, Dmitriĭ Yur’evich
3 Ibragimov, Il’dar Abdullovich
3 Kislyakov, Sergeĭ Vital’evich
3 Robinson, Julia
3 Vsemirnov, Maxim
2 Adyan, Sergeĭ Ivanovich
2 Bārzdiņš, Jānis
2 Beliakov, Gleb
2 Bokut, Leonid A.
2 Davydov, G. V.
2 Dekhtyar, Alexander M.
2 Diekert, Volker
2 Goncharov, Sergeĭ Savost’yanovich
2 Gurevich, Yuri
2 Hirsch, Edward A.
2 Knuth, Donald Ervin
2 Konev, B. Yu.
2 Kozlov, Valeriĭ Vasil’evich
2 Kutateladze, Semën Samsonovich
2 Lifschitz, Vladimir
2 Lodkin, A. A.
2 Manin, Yuriĭ Ivanovich
2 Margenstern, Maurice
2 Maslov, S. Yu.
2 Muscholl, Anca
2 Nerode, Anil
2 Novikov, Sergeĭ Petrovich
2 Parshin, Alekseĭ Nikolaevich
2 Reshetnyak, Yuriĭ Grigor’evich
2 Shen’, A. Kh.
2 Sun, Zhi-Wei
2 Ural’tseva, Nina Nikolaevna
2 Vershik, Anatoliĭ Moiseevich
2 Vostokov, Sergeĭ Vladimirovich
2 Zel’manov, Efim Isaakovich
1 Adelson-Velsky, Georgy
1 Alder, A.
1 Andreev, Nikolaĭ Nikolaevich
1 Anisimov, Anatoly V.
1 Arkhangel’skiĭ, Dmitriĭ A.
1 Baizhanov, Bektur Sembiuly
1 Bauer, Friedrich Ludwig
1 Beauquier, Danièle
1 Belegradek, Oleg V.
1 Belishev, Mikhail Igorevitch
1 Belyaev, V. Ya.
1 Bernik, Vasiliĭ Ivanovich
1 Boasson, Luc
1 Bondarko, Mikhail Vladimirovich
1 Boone, William W.
1 Borkin, L. Ya.
1 Buda, A.
1 Bukhshtaber, Viktor Matveevich
1 Burago, Dmitri
1 Burago, Yuriĭ Dmitrievich
1 Cao, Huiqin
1 Chernov, V. P.
1 Chirskiĭ, Vladimir Grigor’evich
1 Chubarikov, Vladimir Nikolaevich
1 Collins, Donald J.
1 Daderkin, Dmitri O.
1 Davis, Martin David
1 Dikovsky, Alexander Yakovlevich
1 Dobrokhotov, Sergei Yurievich
1 Dobrovol’skiĭ, Nikolaĭ Mikhaĭlovich
1 Dobrovol’skiĭ, Nikolai Nikolaevich
1 Dudakov, Sergey M.
1 Dybkova, E. V.
1 Eliashberg, Yakov Matveevich
1 Ershov, Andreĭ Petrovich
1 Ershov, Yuriĭ Leonidovich
1 Fedotov, B. A.
1 Generalov, Aleksandr Ivanovich
1 Girsh, È. A.
1 Gitik, Moti
1 Glushkov, Viktor Mikhaĭlovich
1 Gordeev, Nikolai L.
1 Greene, Daniel H.
1 Gromov, Mikhael Leonidovich
1 Guy, Richard Kenneth
1 Heath-Brown, Roger
1 Ivanov, Aleksandr Aleksandrovich
1 Ivanov, Sergei Vladimirovich
1 Jones, Gareth A.
1 Kalmens, E. V.
1 Karavaev, Eh. F.
1 Kari, Jarkko
1 Kleene, Stephen Cole
1 Kolesnikov, Pavel Sergeevich
...and 88 more Co-Authors
all top 5

Serials

12 Russian Mathematical Surveys
11 Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta Imeni V. A. Steklova
10 Journal of Soviet Mathematics
9 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 Chebyshevskiĭ Sbornik
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 Doklady Mathematics
2 Lecture Notes in Computer Science
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 Information and Computation
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

Publications by Year

Citations contained in zbMATH Open

92 Publications have been cited 712 times in 513 Documents Cited by Year
Hilbert’s tenth problem. (Desyataya problema Gil’berta.) Zbl 0790.03009
Matiyasevich, Yu. V.
125
1993
Enumerable sets are diophantine. Zbl 0212.33401
Matiyasevich, Yu. V.
120
1970
Decision problems for semi-Thue systems with a few rules. Zbl 1078.03033
Matiyasevich, Yuri; Sénizergues, Géraud
35
2005
Hilbert’s tenth problem. With a foreword by Martin Davis. Zbl 0790.03008
Matiyasevich, Yuri V.
34
1993
Hilbert’s tenth problem: Diophantine equations: Positive aspects of a negative solution. Zbl 0346.02026
Davis, Martin; Matijasevic, Yuri; Robinson, Julia
30
1976
Register machine proof of the theorem on exponential diophantine representation of enumerable sets. Zbl 0599.03043
Jones, J. P.; Matiyasevich, Yu. V.
27
1984
Reduction of an arbitrary diophantine equation to one in 13 unknowns. Zbl 0279.10019
Matijasevič, Juriĭ; Robinson, Julia
26
1975
Simple examples of undecidable associative calculi. Zbl 0189.01102
Matiyasevich, Yu. V.
19
1967
Proof of recursive unsolvability of Hilbert’s Tenth Problem. Zbl 0746.03006
Jones, J. P.; Matiyasevich, Yu. V.
13
1991
Hilbert’s Tenth Problem: What was done and what is to be done. Zbl 0994.03002
Matiyasevich, Yuri
11
2000
Diophantine representation of recursively enumerable predicates. Zbl 0235.02039
Matiyasevich, Yu. V.
10
1971
A new formula for \(\pi\). Zbl 0614.10003
Matiyasevich, Yuri V.; Guy, Richard K.
10
1986
Approximation of Riemann’s zeta function by finite Dirichlet series: a multiprecision numerical approach. Zbl 1381.11075
Beliakov, Gleb; Matiyasevich, Yuri
10
2015
Window subsequence problems for compressed texts. Zbl 1178.68694
Cégielski, Patrick; Guessarian, Irène; Lifshits, Yury; Matiyasevich, Yuri
9
2006
Diophantine representation of enumerable predicates. Zbl 0252.02047
Matiyasevich, Yu. V.
9
1972
Some decision problems for traces. Zbl 0899.20030
Matiyasevich, Yuri
8
1997
Diophantine sets. Zbl 0269.02019
Matiyasevich, Yu. V.
7
1972
Horizontal monotonicity of the modulus of the zeta function, \(L\)-functions, and related functions. Zbl 1319.11055
Matiyasevich, Yu.; Saidak, F.; Zvengrowski, P.
7
2014
Solving word equations modulo partial commutations. Zbl 0930.68074
Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca
6
1999
Window-accumulated subsequence matching problem is linear. Zbl 0998.68042
Boasson, Luc; Cegielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
6
2002
A new proof of the theorem on exponential diophantine representation of enumerable sets. Zbl 0449.03043
Matiyasevich, Yu. V.
6
1980
A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic. Zbl 1338.65117
Beliakov, Gleb; Matiyasevich, Yuri
6
2016
Hilbert’s tenth problem and paradigms of computation. Zbl 1115.03004
Matiyasevich, Yuri
5
2005
The connection between Hilbert’s tenth problem and systems of equations between words and lengths. Zbl 0212.33301
Matiyasevich, Yu. V.
5
1968
Diophantine representation of the set of prime numbers. Zbl 0222.10018
Matiyasevich, Yu. V.
5
1971
Martin Davis and Hilbert’s tenth problem. Zbl 1439.03080
Matiyasevich, Yuri
5
2016
Towards finite-fold Diophantine representations. Zbl 1282.11166
Matiyasevich, Yu.
5
2010
Computation paradigms in light of Hilbert’s tenth problem. Zbl 1136.03001
Matiyasevich, Yuri
4
2008
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.
4
1982
Some probabilistic restatements of the four color conjecture. Zbl 1053.05050
Matiyasevich, Yuri
4
2004
Einfache Beispiele nichtauflösbarer kanonischer Kalküle. Zbl 0193.31801
Matiyasevich, Yu. V.
4
1967
Eine Diophantische Darstellung aufzählbarer Prädikate. Zbl 0219.02035
Matiyasevich, Yu. V.
4
1971
Solution of the tenth problem of Hilbert. Zbl 0223.02041
Matiyasevich, Yu. V.
4
1970
Computation of generalized Chebyshev polynomials by computer. Zbl 0892.41017
Matiyasevich, Yu. V.
4
1996
My collaboration with Julia Robinson. Zbl 0770.01005
Matiyasevich, Yuri
4
1992
Some purely mathematical results inspired by mathematical logic. Zbl 0377.02001
Matiyasevich, Yu. V.
4
1977
Existence of noneffectivizable estimates in the theory of exponential Diophantine equations. Zbl 0404.03036
Matiyasevich, Yu. V.
4
1977
On a representation of a chromatic polynomial. Zbl 0435.05025
Matiyasevich, Yu. V.
4
1977
A binomial representation of the \(3x+1\) problem. Zbl 0968.11011
Margenstern, Maurice; Matiyasevich, Yuri
3
1999
The existence of non-effectivizable estimates in the theory of exponential Diophantine equations. Zbl 0361.02057
Matiyasevich, Yu. V.
3
1974
Hilbert’s tenth problem: Diophantine equations in the twentieth century. Zbl 1088.01013
Matiyasevich, Yu. V.
3
2006
Real-time recognition of the inclusion relation. Zbl 0253.02043
Matiyasevich, Yu. V.
3
1973
A posteriori interval analysis. Zbl 0581.65031
Matiyasevich, Yu. V.
3
1985
Primes are nonnegative values of a polynomial in 10 variables. Zbl 0446.10046
Matiyasevich, Yu. V.
3
1981
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
Calculation of Belyi functions for trees with weighted edges. Zbl 1377.05032
Matiyasevich, Yu.
3
2017
Riemann’s zeta function and finite Dirichlet series. Zbl 1383.11107
Matiyasevich, Yu. V.
3
2016
A few factors from the Euler product are sufficient for calculating the zeta function with high precision. Zbl 1425.11193
Matiyasevich, Yu. V.
3
2017
Solving trace equations using lexicographical normal forms. Zbl 1401.68161
Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca
3
1997
Computational rediscovery of Ramanujan’s tau numbers. Zbl 1441.11203
Matiyasevich, Yuri
3
2018
Relations between some sums with respect to trivial and nontrivial zeros of the Riemann zeta function. Zbl 0663.10041
Matiyasevich, Yu. V.
2
1989
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 technique for obtaining diophantine representations via elimination of bounded universal quantifiers. Zbl 0940.03052
Matiyasevich, Yu. V.
2
1995
Possible nontraditional methods of establishing unsatisfiability of propositional formulas. Zbl 0901.03008
Matiyasevich, Yu. V.
2
1987
Alternatives to the Euler-Maclaurin formula for calculating infinite sums. Zbl 1237.40001
Matiyasevich, Yu. V.
2
2010
Multiple serial episodes matching. Zbl 1187.68178
Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
2
2006
On Post correspondence problem for letter monotonic languages. Zbl 1173.68033
Halava, Vesa; Kari, Jarkko; Matiyasevich, Yuri
2
2009
Two reductions of Hilbert’s tenth problem. Zbl 0212.33302
Matiyasevich, Yu. V.
2
1968
On a metamathematical approach to proving theorems of discrete mathematics. Zbl 0325.68048
Matiyasevich, Yu. V.
2
1975
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
Existential arithmetization of Diophantine equations. Zbl 1160.03022
Matiyasevich, Yuri
2
2009
On investigations in some algorithmic problems of algebra and number theory. Zbl 0597.03020
Matiyasevich, Yu. V.
2
1984
On investigations on some algorithmic problems in algebra and number theory. Zbl 0614.03036
Matiyasevich, Yu. V.
2
1986
Nikolaj Aleksandrovich Shanin (on his seventieth birthday). Zbl 0704.01021
Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O.
2
1990
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
What can and cannot be done with Diophantine problems. Zbl 1294.03016
Matiyasevich, Yu. V.
2
2011
Small semi-Thue system universal with respect to the termination problem. Zbl 1420.03087
Halava, Vesa; Matiyasevich, Yuri; Niskanen, Reino
2
2017
Riemann’s hypothesis in terms of the eigenvalues of special Hankel matrices. Zbl 1420.11116
Matiyasevich, Yu. V.
2
2017
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.
2
2001
Tree inclusion problems. Zbl 1149.68040
Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
2
2008
Plausible ways for calculating the Riemann zeta function via the Riemann-Siegel theta function. Zbl 1469.11300
Matiyasevich, Yu.
2
2020
The Riemann hypothesis in computer science. Zbl 1484.03078
Matiyasevich, Yu.
2
2020
Computational aspects of Hamburger’s theorem. Zbl 1461.11114
Matiyasevich, Yuri
2
2019
The Riemann hypothesis as the parity of special binomial coefficients. Zbl 1434.11183
Matiyasevich, Yuriĭ Vladimirovich
2
2018
Congruences for Apéry numbers \(\beta_n = \sum_{k = 0}^n \binom{n}{k}^2 \binom{n + k}{k}\). Zbl 1471.11089
Cao, Hui-Qin; Matiyasevich, Yuri; Sun, Zhi-Wei
2
2020
A relationship between certain sums over trivial and nontrivial zeros of the Riemann zeta-function. Zbl 0683.10033
Matiyasevich, Yu. V.
1
1989
Algorithms in modern mathematics and computer science. Proceedings, Urgench, Uzbek SSR, September 16–22, 1979. Zbl 0477.68035
1
1981
Computer evaluation of generalized Chebyshev polynomials. Zbl 0908.41018
Matiyasevich, Yu. V.
1
1996
Basis for the polynomial time computable functions. Zbl 0693.03023
Jones, J. P.; Matiyasevich, Yu. V.
1
1990
A proof scheme in discrete mathematics. Zbl 0359.68106
Matiyasevich, Yu. V.
1
1974
Some arithmetical restatements of the four color conjecture. Zbl 0979.05049
Matiyasevich, Y.
1
2001
Diophantine representation of recursively enumerable predicates. Zbl 0223.02042
Matiyasevich, Yu. V.
1
1971
What is there to do after the establishment of unsolvability of an algorithmic problem? Zbl 0583.03025
Matiyasevich, Yu.
1
1982
Arithmetical representations of enumerable sets with a small number of quantifiers. Zbl 0375.02036
Matiyasevich, Yu. V.
1
1976
A class of primality criteria formulated in terms of the divisibility of binomial coefficients. Zbl 0453.10005
Matiyasevich, Yu. V.
1
1981
LFCS ’94, Logical foundations of computer science. 3rd international symposium, St. Petersburg, Russia, July 11–14, 1994. Proceedings. Zbl 0865.00034
1
1994
Riemann’s zeta function: more computations and conjectures. Zbl 1329.11087
Matiyasevich, Yuri
1
2008
On some algebraic ways to calculate zeros of the Riemann zeta function. Zbl 07719128
Matiyasevich, Yuri
1
2022
On some algebraic ways to calculate zeros of the Riemann zeta function. Zbl 07719128
Matiyasevich, Yuri
1
2022
Plausible ways for calculating the Riemann zeta function via the Riemann-Siegel theta function. Zbl 1469.11300
Matiyasevich, Yu.
2
2020
The Riemann hypothesis in computer science. Zbl 1484.03078
Matiyasevich, Yu.
2
2020
Congruences for Apéry numbers \(\beta_n = \sum_{k = 0}^n \binom{n}{k}^2 \binom{n + k}{k}\). Zbl 1471.11089
Cao, Hui-Qin; Matiyasevich, Yuri; Sun, Zhi-Wei
2
2020
Computational aspects of Hamburger’s theorem. Zbl 1461.11114
Matiyasevich, Yuri
2
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
2
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.
3
2017
Small semi-Thue system universal with respect to the termination problem. Zbl 1420.03087
Halava, Vesa; Matiyasevich, Yuri; Niskanen, Reino
2
2017
Riemann’s hypothesis in terms of the eigenvalues of special Hankel matrices. Zbl 1420.11116
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
6
2016
Martin Davis and Hilbert’s tenth problem. Zbl 1439.03080
Matiyasevich, Yuri
5
2016
Riemann’s zeta function and finite Dirichlet series. Zbl 1383.11107
Matiyasevich, Yu. V.
3
2016
Approximation of Riemann’s zeta function by finite Dirichlet series: a multiprecision numerical approach. Zbl 1381.11075
Beliakov, Gleb; Matiyasevich, Yuri
10
2015
Horizontal monotonicity of the modulus of the zeta function, \(L\)-functions, and related functions. Zbl 1319.11055
Matiyasevich, Yu.; Saidak, F.; Zvengrowski, P.
7
2014
What can and cannot be done with Diophantine problems. Zbl 1294.03016
Matiyasevich, Yu. V.
2
2011
Towards finite-fold Diophantine representations. Zbl 1282.11166
Matiyasevich, Yu.
5
2010
Alternatives to the Euler-Maclaurin formula for calculating infinite sums. Zbl 1237.40001
Matiyasevich, Yu. V.
2
2010
On Post correspondence problem for letter monotonic languages. Zbl 1173.68033
Halava, Vesa; Kari, Jarkko; Matiyasevich, Yuri
2
2009
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
9
2006
Hilbert’s tenth problem: Diophantine equations in the twentieth century. Zbl 1088.01013
Matiyasevich, Yu. V.
3
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
35
2005
Hilbert’s tenth problem and paradigms of computation. Zbl 1115.03004
Matiyasevich, Yuri
5
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.
2
2001
Some arithmetical restatements of the four color conjecture. Zbl 0979.05049
Matiyasevich, Y.
1
2001
Hilbert’s Tenth Problem: What was done and what is to be done. Zbl 0994.03002
Matiyasevich, Yuri
11
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
3
1999
Some decision problems for traces. Zbl 0899.20030
Matiyasevich, Yuri
8
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.
4
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 new technique for obtaining diophantine representations via elimination of bounded universal quantifiers. Zbl 0940.03052
Matiyasevich, Yu. V.
2
1995
A direct method for simulating partial recursive functions by Diophantine equations. Zbl 0795.03054
Matiyasevich, Yuri
3
1994
LFCS ’94, Logical foundations of computer science. 3rd international symposium, St. Petersburg, Russia, July 11–14, 1994. Proceedings. Zbl 0865.00034
1
1994
Hilbert’s tenth problem. (Desyataya problema Gil’berta.) Zbl 0790.03009
Matiyasevich, Yu. V.
125
1993
Hilbert’s tenth problem. With a foreword by Martin Davis. Zbl 0790.03008
Matiyasevich, Yuri V.
34
1993
My collaboration with Julia Robinson. Zbl 0770.01005
Matiyasevich, Yuri
4
1992
Proof of recursive unsolvability of Hilbert’s Tenth Problem. Zbl 0746.03006
Jones, J. P.; Matiyasevich, Yu. V.
13
1991
Nikolaj Aleksandrovich Shanin (on his seventieth birthday). Zbl 0704.01021
Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O.
2
1990
Basis for the polynomial time computable functions. Zbl 0693.03023
Jones, J. P.; Matiyasevich, Yu. V.
1
1990
Relations between some sums with respect to trivial and nontrivial zeros of the Riemann zeta function. Zbl 0663.10041
Matiyasevich, Yu. V.
2
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.
10
1986
On investigations on some algorithmic problems in algebra and number theory. Zbl 0614.03036
Matiyasevich, Yu. V.
2
1986
A posteriori interval analysis. Zbl 0581.65031
Matiyasevich, Yu. V.
3
1985
Register machine proof of the theorem on exponential diophantine representation of enumerable sets. Zbl 0599.03043
Jones, J. P.; Matiyasevich, Yu. V.
27
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
On investigations in some algorithmic problems of algebra and number theory. Zbl 0597.03020
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.
4
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.
3
1981
Algorithms in modern mathematics and computer science. Proceedings, Urgench, Uzbek SSR, September 16–22, 1979. Zbl 0477.68035
1
1981
A class of primality criteria formulated in terms of the divisibility of binomial coefficients. Zbl 0453.10005
Matiyasevich, Yu. V.
1
1981
A new proof of the theorem on exponential diophantine representation of enumerable sets. Zbl 0449.03043
Matiyasevich, Yu. V.
6
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
Some purely mathematical results inspired by mathematical logic. Zbl 0377.02001
Matiyasevich, Yu. V.
4
1977
Existence of noneffectivizable estimates in the theory of exponential Diophantine equations. Zbl 0404.03036
Matiyasevich, Yu. V.
4
1977
On a representation of a chromatic polynomial. Zbl 0435.05025
Matiyasevich, Yu. V.
4
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
Hilbert’s tenth problem: Diophantine equations: Positive aspects of a negative solution. Zbl 0346.02026
Davis, Martin; Matijasevic, Yuri; Robinson, Julia
30
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
Matijasevič, Juriĭ; Robinson, Julia
26
1975
On a metamathematical approach to proving theorems of discrete mathematics. Zbl 0325.68048
Matiyasevich, Yu. V.
2
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.
9
1972
Diophantine sets. Zbl 0269.02019
Matiyasevich, Yu. V.
7
1972
Diophantine representation of recursively enumerable predicates. Zbl 0235.02039
Matiyasevich, Yu. V.
10
1971
Diophantine representation of the set of prime numbers. Zbl 0222.10018
Matiyasevich, Yu. V.
5
1971
Eine Diophantische Darstellung aufzählbarer Prädikate. Zbl 0219.02035
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.
120
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.
5
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.
19
1967
Einfache Beispiele nichtauflösbarer kanonischer Kalküle. Zbl 0193.31801
Matiyasevich, Yu. V.
4
1967
all top 5

Cited by 626 Authors

40 Matiyasevich, Yuriĭ Vladimirovich
13 Halava, Vesa
11 Harju, Tero
10 Shlapentokh, Alexandra
8 Potapov, Igor
7 Bell, Paul C.
7 Diekert, Volker
6 Glaßer, Christian
6 Roman’kov, Vitaly Anatol’evich
5 Ibarra, Oscar H.
5 Pasten, Hector V.
5 Pheidas, Thanases
5 Sanna, Carlo
4 Cegielski, Patrick
4 Dang, Zhe
4 Dose, Titus
4 Jeż, Artur
4 Litow, Bruce E.
4 Niskanen, Reino
4 Omodeo, Eugenio Giovanni
4 Paramonov, Serge V.
4 Vsemirnov, Maxim
3 Baader, Franz
3 Bodirsky, Manuel
3 Bousla, Sid Ali
3 Calude, Cristian S.
3 Cantone, Domenico
3 Chaitin, Gregory John
3 Demeyer, Jeroen
3 Durnev, Valeriĭ Georgievich
3 Guessarian, Irène
3 Gurevich, Yuri
3 Karhumaki, Juhani
3 Kharlampovich, Olga G.
3 Kobayashi, Naoki
3 Lifschitz, Vladimir
3 Lohrey, Markus
3 Margenstern, Maurice
3 Mazur, Barry
3 Mints, Grigoriĭ Efroimovich
3 Muscholl, Anca
3 Myasnikov, Alexei G.
3 Rybalov, Aleksandr Nikolaevich
3 Sénizergues, Géraud
3 Shallit, Jeffrey Outlaw
3 Shutov, Anton V.
3 Stephan, Frank
3 Tinelli, Cesare
3 Tyszka, Apoloniusz
3 Velupillai, Kumaraswamy (Vela)
3 Vidaux, Xavier
3 Voros, André
3 Weimann, Oren
2 Adyan, Sergeĭ Ivanovich
2 Barth, Dominik
2 Beck, Moritz
2 Beliakov, Gleb
2 Bille, Philip
2 Blass, Andreas Raphael
2 Blümlein, Johannes
2 Buser, Peter
2 Buss, Jonathan F.
2 Carl, Merlin
2 Dantsin, Evgeny
2 Davis, Martin David
2 Dilcher, Karl
2 Eaves, B. Curtis
2 Erofeev, S. Yu.
2 Fernau, Henning
2 Forster, Yannick
2 Frandsen, Gudmund Skovbjerg
2 Friedli, Fabien
2 Goodall, Andrew J.
2 Graça, Daniel Silva
2 Grädel, Erich
2 Grigorieff, Serge
2 Grigutis, Andrius
2 Hirvensalo, Mika
2 Hodgson, Bernard R.
2 Hoffmann, Udo
2 Holub, Štěpán
2 Honkala, Juha
2 Kazachkov, Ilya V.
2 Kent, Clement F.
2 Khoussainov, Bakhadyr M.
2 Kieu, Tien D.
2 Landau, Gad M.
2 Larchey-Wendling, Dominique
2 Lee, Andrew Chung-Yeung
2 Marché, Claude
2 Marchenkov, Sergeĭ Serafimovich
2 Michler, Larissa
2 Moroz, Boris Zelikovich
2 Nyberg-Brodda, Carl-Fredrik
2 Onphaeng, Kritkhajohn
2 Orevkov, V. P.
2 Pąk, Karol
2 Pongsriiam, Prapanpong
2 Prunescu, Mihai
2 Reitwießner, Christian
...and 526 more Authors
all top 5

Cited in 152 Serials

44 Theoretical Computer Science
23 Journal of Mathematical Sciences (New York)
17 Annals of Pure and Applied Logic
15 Information and Computation
14 Journal of Soviet Mathematics
12 Journal of Number Theory
11 Journal of Computer and System Sciences
10 Applied Mathematics and Computation
9 Information Processing Letters
8 Journal of Algebra
8 The Journal of Symbolic Logic
7 Mathematical Notes
7 Prikladnaya Diskretnaya Matematika
6 Journal of Mathematical Analysis and Applications
6 International Journal of Algebra and Computation
6 International Journal of Foundations of Computer Science
6 Cybernetics and Systems Analysis
6 Chebyshevskiĭ Sbornik
5 Programming and Computer Software
5 Logical Methods in Computer Science
4 International Journal of Theoretical Physics
4 Israel Journal of Mathematics
4 Algebra and Logic
4 Semigroup Forum
4 Siberian Mathematical Journal
4 Transactions of the American Mathematical Society
4 Mathematical Programming. Series A. Series B
4 Annals of Mathematics and Artificial Intelligence
4 RAIRO. Theoretical Informatics and Applications
4 Proceedings of the Steklov Institute of Mathematics
3 Artificial Intelligence
3 Russian Mathematical Surveys
3 The Mathematical Intelligencer
3 Inventiones Mathematicae
3 Journal of Combinatorial Theory. Series B
3 Algorithmica
3 Journal of Automated Reasoning
3 Bulletin of the American Mathematical Society. New Series
3 Mathematical Logic Quarterly (MLQ)
3 RAIRO. Theoretical Informatics and Applications
2 Acta Informatica
2 Discrete Applied Mathematics
2 Discrete Mathematics
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 SIAM Journal on Computing
2 Studia Logica
2 Cybernetics
2 Advances in Applied Mathematics
2 Journal of Symbolic Computation
2 Journal of Complexity
2 Constructive Approximation
2 RAIRO. Informatique Théorique et Applications
2 Archive for Mathematical Logic
2 Journal de Théorie des Nombres de Bordeaux
2 Izvestiya: Mathematics
2 Doklady Mathematics
2 Theory of Computing Systems
2 Journal of Integer Sequences
2 Lobachevskii Journal of Mathematics
2 Natural Computing
2 International Journal of Number Theory
2 Formalized Mathematics
2 AIMS Mathematics
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Journal of the Franklin Institute
1 Moscow University Mathematics Bulletin
1 Rocky Mountain Journal of Mathematics
1 Theoretical and Mathematical Physics
1 Mathematics of Computation
1 Chaos, Solitons and Fractals
1 Automatica
1 BIT
1 Czechoslovak Mathematical Journal
1 Duke Mathematical Journal
1 Functiones et Approximatio. Commentarii Mathematici
1 Journal of Mathematical Economics
1 Journal of Philosophical Logic
1 Le Matematiche
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 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 Tôhoku 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 Discrete Mathematics and Applications
1 Automation and Remote Control
...and 52 more Serials
all top 5

Cited in 43 Fields

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

Citations by Year

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