×

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 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 Kolesnikov, Pavel Sergeevich
1 Kossovsky, N. K.
1 Koubenski, D. A.
...and 86 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

98 Publications have been cited 837 times in 592 Documents Cited by Year
Enumerable sets are diophantine. Zbl 0212.33401
Matiyasevich, Yu. V.
155
1970
Hilbert’s tenth problem. (Desyataya problema Gil’berta.) Zbl 0790.03009
Matiyasevich, Yu. V.
128
1993
Hilbert’s tenth problem: Diophantine equations: Positive aspects of a negative solution. Zbl 0346.02026
Davis, Martin; Matijasevic, Yuri; Robinson, Julia
59
1976
Hilbert’s tenth problem. With a foreword by Martin Davis. Zbl 0790.03008
Matiyasevich, Yuri V.
58
1993
Decision problems for semi-Thue systems with a few rules. Zbl 1078.03033
Matiyasevich, Yuri; Sénizergues, Géraud
36
2005
Reduction of an arbitrary diophantine equation to one in 13 unknowns. Zbl 0279.10019
Matijasevič, Juriĭ; Robinson, Julia
28
1975
Register machine proof of the theorem on exponential diophantine representation of enumerable sets. Zbl 0599.03043
Jones, J. P.; Matiyasevich, Yu. V.
27
1984
Simple examples of undecidable associative calculi. Zbl 0189.01102
Matiyasevich, Yu. V.
22
1967
Proof of recursive unsolvability of Hilbert’s Tenth Problem. Zbl 0746.03006
Jones, J. P.; Matiyasevich, Yu. V.
13
1991
Some purely mathematical results inspired by mathematical logic. Zbl 0377.02001
Matiyasevich, Yu. V.
12
1977
A new formula for \(\pi\). Zbl 0614.10003
Matiyasevich, Yuri V.; Guy, Richard K.
11
1986
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
Window subsequence problems for compressed texts. Zbl 1178.68694
Cégielski, Patrick; Guessarian, Irène; Lifshits, Yury; Matiyasevich, Yuri
9
2006
Diophantine sets. Zbl 0269.02019
Matiyasevich, Yu. V.
9
1972
Approximation of Riemann’s zeta function by finite Dirichlet series: a multiprecision numerical approach. Zbl 1381.11075
Beliakov, Gleb; Matiyasevich, Yuri
9
2015
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
Horizontal monotonicity of the modulus of the zeta function, \(L\)-functions, and related functions. Zbl 1319.11055
Matiyasevich, Yu.; Saidak, F.; Zvengrowski, P.
8
2014
A new proof of the theorem on exponential diophantine representation of enumerable sets. Zbl 0449.03043
Matiyasevich, Yu. V.
7
1980
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
A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic. Zbl 1338.65117
Beliakov, Gleb; Matiyasevich, Yuri
6
2016
A new representation for the symmetric binomial coefficient and its applications. Zbl 0499.03028
Jones, J. P.; Matiyasevich, Yu. V.
5
1982
Computation of generalized Chebyshev polynomials by computer. Zbl 0892.41017
Matiyasevich, Yu. V.
5
1996
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
Towards finite-fold Diophantine representations. Zbl 1282.11166
Matiyasevich, Yu.
5
2010
Riemann’s zeta function and finite Dirichlet series. Zbl 1383.11107
Matiyasevich, Yu. V.
5
2016
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
My collaboration with Julia Robinson. Zbl 0770.01005
Matiyasevich, Yuri
4
1992
Yet another machine experiment in support of Riemann’s hypothesis. Zbl 0516.10032
Matiyasevich, Yu. V.
4
1982
Algorithms in modern mathematics and computer science. Proceedings, Urgench, Uzbek SSR, September 16–22, 1979. Zbl 0477.68035
4
1981
Some probabilistic restatements of the four color conjecture. Zbl 1053.05050
Matiyasevich, Yuri
4
2004
On a representation of a chromatic polynomial. Zbl 0435.05025
Matiyasevich, Yu. V.
4
1977
Computation paradigms in light of Hilbert’s tenth problem. Zbl 1136.03001
Matiyasevich, Yuri
4
2008
Existence of noneffectivizable estimates in the theory of exponential Diophantine equations. Zbl 0404.03036
Matiyasevich, Yu. V.
4
1977
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
Real-time recognition of the inclusion relation. Zbl 0253.02043
Matiyasevich, Yu. V.
4
1973
Solution of the tenth problem of Hilbert. Zbl 0223.02041
Matiyasevich, Yu. V.
4
1970
A posteriori interval analysis. Zbl 0581.65031
Matiyasevich, Yu. V.
3
1985
On investigations in some algorithmic problems of algebra and number theory. Zbl 0597.03020
Matiyasevich, Yu. V.
3
1984
On investigations on some algorithmic problems in algebra and number theory. Zbl 0614.03036
Matiyasevich, Yu. V.
3
1986
A binomial representation of the \(3x+1\) problem. Zbl 0968.11011
Margenstern, Maurice; Matiyasevich, Yuri
3
1999
Definability and decidability issues in extensions of the integers with the divisibility predicate. Zbl 0868.11061
Cegielski, Patrick; Matiyasevich, Yuri; Richard, Denis
3
1996
A direct method for simulating partial recursive functions by Diophantine equations. Zbl 0795.03054
Matiyasevich, Yuri
3
1994
Primes are nonnegative values of a polynomial in 10 variables. Zbl 0446.10046
Matiyasevich, Yu. V.
3
1981
The existence of non-effectivizable estimates in the theory of exponential Diophantine equations. Zbl 0361.02057
Matiyasevich, Yu. V.
3
1974
Solving trace equations using lexicographical normal forms. Zbl 1401.68161
Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca
3
1997
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
Hilbert’s tenth problem: Diophantine equations in the twentieth century. Zbl 1088.01013
Matiyasevich, Yu. V.
3
2006
Calculation of Belyi functions for trees with weighted edges. Zbl 1377.05032
Matiyasevich, Yu.
3
2017
Computational rediscovery of Ramanujan’s tau numbers. Zbl 1441.11203
Matiyasevich, Yuri
3
2018
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
Computer evaluation of generalized Chebyshev polynomials. Zbl 0908.41018
Matiyasevich, Yu. V.
2
1996
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
Multiple serial episodes matching. Zbl 1187.68178
Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
2
2006
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 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
Exponential diophantine representation of recursively enumerable sets. Zbl 0499.03027
Jones, J. P.; Matiyasevich, Yu. V.
2
1982
Ein Kriterium für die Färbbarkeit der Ecken eines Graphen, das in Termen der Kantenorientierungen formuliert wird. Zbl 0298.05114
Matiyasevich, Yu. V.
2
1974
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
Small semi-Thue system universal with respect to the termination problem. Zbl 1420.03087
Halava, Vesa; Matiyasevich, Yuri; Niskanen, Reino
2
2017
Relations between some sums with respect to trivial and nontrivial zeros of the Riemann zeta function. Zbl 0663.10041
Matiyasevich, Yu. V.
2
1989
Primes are non-negative values of a polynomial in 10 variables. Zbl 0357.10034
Matiyasevich, Yu. V.
2
1977
Two reductions of Hilbert’s tenth problem. Zbl 0212.33302
Matiyasevich, Yu. V.
2
1968
Nikolaj Aleksandrovich Shanin (on his seventieth birthday). Zbl 0704.01021
Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O.
2
1990
On Post correspondence problem for letter monotonic languages. Zbl 1173.68033
Halava, Vesa; Kari, Jarkko; Matiyasevich, Yuri
2
2009
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
Computational aspects of Hamburger’s theorem. Zbl 1461.11114
Matiyasevich, Yuri
2
2019
The Riemann hypothesis in computer science. Zbl 1484.03078
Matiyasevich, Yu.
2
2020
Riemann’s hypothesis in terms of the eigenvalues of special Hankel matrices. Zbl 1420.11116
Matiyasevich, Yu. V.
2
2017
What can and cannot be done with Diophantine problems. Zbl 1294.03016
Matiyasevich, Yu. V.
2
2011
Tree inclusion problems. Zbl 1149.68040
Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
2
2008
Existential arithmetization of Diophantine equations. Zbl 1160.03022
Matiyasevich, Yuri
2
2009
Alternatives to the Euler-Maclaurin formula for calculating infinite sums. Zbl 1237.40001
Matiyasevich, Yu. V.
2
2010
Plausible ways for calculating the Riemann zeta function via the Riemann-Siegel theta function. Zbl 1469.11300
Matiyasevich, Yu.
2
2020
What is there to do after the establishment of unsolvability of an algorithmic problem? Zbl 0583.03025
Matiyasevich, Yu.
1
1982
A class of primality criteria formulated in terms of the divisibility of binomial coefficients. Zbl 0453.10005
Matiyasevich, Yu. V.
1
1981
A posteriori version of interval analysis. Zbl 0588.65020
Matuyasevich, Yu. V.
1
1986
Some arithmetical restatements of the four color conjecture. Zbl 0979.05049
Matiyasevich, Y.
1
2001
A proof scheme in discrete mathematics. Zbl 0359.68106
Matiyasevich, Yu. V.
1
1974
Possible non-traditional methods for establishing satisfiability of propositional formulas. Zbl 0652.03005
Matiyasevich, Yu. V.
1
1987
LFCS ’94, Logical foundations of computer science. 3rd international symposium, St. Petersburg, Russia, July 11–14, 1994. Proceedings. Zbl 0865.00034
1
1994
Arithmetical representations of enumerable sets with a small number of quantifiers. Zbl 0375.02036
Matiyasevich, Yu. V.
1
1976
A relationship between certain sums over trivial and nontrivial zeros of the Riemann zeta-function. Zbl 0683.10033
Matiyasevich, Yu. V.
1
1989
Basis for the polynomial time computable functions. Zbl 0693.03023
Jones, J. P.; Matiyasevich, Yu. V.
1
1990
The Riemann hypothesis from a logician’s point of view. Zbl 0697.10050
Matiyasevich, Yuri V.
1
1990
Embeddings into semigroups with only a few defining relations. Zbl 0228.20029
Boone, W. W.; Collins, D. J.; Matijasevič, Yu. V.
1
1971
Diophantine representation of recursively enumerable predicates. Zbl 0223.02042
Matiyasevich, Yu. V.
1
1971
On some algebraic ways to calculate zeros of the Riemann zeta function. Zbl 07719128
Matiyasevich, Yuri
1
2022
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
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
The Riemann hypothesis in computer science. Zbl 1484.03078
Matiyasevich, Yu.
2
2020
Plausible ways for calculating the Riemann zeta function via the Riemann-Siegel theta function. Zbl 1469.11300
Matiyasevich, Yu.
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
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
Calculation of Belyi functions for trees with weighted edges. Zbl 1377.05032
Matiyasevich, Yu.
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
Riemann’s zeta function and finite Dirichlet series. Zbl 1383.11107
Matiyasevich, Yu. V.
5
2016
Martin Davis and Hilbert’s tenth problem. Zbl 1439.03080
Matiyasevich, Yuri
5
2016
Approximation of Riemann’s zeta function by finite Dirichlet series: a multiprecision numerical approach. Zbl 1381.11075
Beliakov, Gleb; Matiyasevich, Yuri
9
2015
Horizontal monotonicity of the modulus of the zeta function, \(L\)-functions, and related functions. Zbl 1319.11055
Matiyasevich, Yu.; Saidak, F.; Zvengrowski, P.
8
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
36
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.
5
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.
2
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.
128
1993
Hilbert’s tenth problem. With a foreword by Martin Davis. Zbl 0790.03008
Matiyasevich, Yuri V.
58
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
The Riemann hypothesis from a logician’s point of view. Zbl 0697.10050
Matiyasevich, Yuri 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
Possible non-traditional methods for establishing satisfiability of propositional formulas. Zbl 0652.03005
Matiyasevich, Yu. V.
1
1987
A new formula for \(\pi\). Zbl 0614.10003
Matiyasevich, Yuri V.; Guy, Richard K.
11
1986
On investigations on some algorithmic problems in algebra and number theory. Zbl 0614.03036
Matiyasevich, Yu. V.
3
1986
A posteriori version of interval analysis. Zbl 0588.65020
Matuyasevich, Yu. V.
1
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
On investigations in some algorithmic problems of algebra and number theory. Zbl 0597.03020
Matiyasevich, Yu. V.
3
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.
5
1982
Yet another machine experiment in support of Riemann’s hypothesis. Zbl 0516.10032
Matiyasevich, Yu. V.
4
1982
Exponential diophantine representation of recursively enumerable sets. Zbl 0499.03027
Jones, J. P.; Matiyasevich, Yu. V.
2
1982
What is there to do after the establishment of unsolvability of an algorithmic problem? Zbl 0583.03025
Matiyasevich, Yu.
1
1982
Algorithms in modern mathematics and computer science. Proceedings, Urgench, Uzbek SSR, September 16–22, 1979. Zbl 0477.68035
4
1981
Primes are nonnegative values of a polynomial in 10 variables. Zbl 0446.10046
Matiyasevich, Yu. V.
3
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.
7
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.
12
1977
On a representation of a chromatic polynomial. Zbl 0435.05025
Matiyasevich, Yu. V.
4
1977
Existence of noneffectivizable estimates in the theory of exponential Diophantine equations. Zbl 0404.03036
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
59
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
28
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
Ein Kriterium für die Färbbarkeit der Ecken eines Graphen, das in Termen der Kantenorientierungen formuliert wird. Zbl 0298.05114
Matiyasevich, Yu. V.
2
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.
4
1973
Diophantine sets. Zbl 0269.02019
Matiyasevich, Yu. V.
9
1972
Diophantine representation of enumerable predicates. Zbl 0252.02047
Matiyasevich, Yu. V.
9
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
Embeddings into semigroups with only a few defining relations. Zbl 0228.20029
Boone, W. W.; Collins, D. J.; Matijasevič, Yu. V.
1
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.
155
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.
22
1967
Einfache Beispiele nichtauflösbarer kanonischer Kalküle. Zbl 0193.31801
Matiyasevich, Yu. V.
4
1967
all top 5

Cited by 753 Authors

41 Matiyasevich, Yuriĭ Vladimirovich
13 Halava, Vesa
13 Shlapentokh, Alexandra
11 Harju, Tero
9 Ibarra, Oscar H.
9 Potapov, Igor
7 Bell, Paul C.
7 Diekert, Volker
6 Glaßer, Christian
6 Pasten, Hector V.
6 Pheidas, Thanases
6 Roman’kov, Vitaly Anatol’evich
5 Cegielski, Patrick
5 Dang, Zhe
5 Karhumaki, Juhani
5 Sanna, Carlo
5 Vidaux, Xavier
4 Cantone, Domenico
4 Davis, Martin David
4 Dose, Titus
4 Guessarian, Irène
4 Gurevich, Yuri
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 Chaitin, Gregory John
3 Demeyer, Jeroen
3 Durnev, Valeriĭ Georgievich
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 Pąk, Karol
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 Voros, André
3 Weimann, Oren
2 Adyan, Sergeĭ Ivanovich
2 Barth, Dominik
2 Beck, Moritz
2 Bille, Philip
2 Blass, Andreas Raphael
2 Blümlein, Johannes
2 Buser, Peter
2 Buss, Jonathan F.
2 Carl, Merlin
2 Chilikov, A. A.
2 Contejean, Evelyne
2 Dantsin, Evgeny
2 De Angelis, Emanuele
2 Dilcher, Karl
2 Eaves, B. Curtis
2 Erofeev, S. Yu.
2 Fernau, Henning
2 Fioravanti, Fabio
2 Forster, Yannick
2 Frandsen, Gudmund Skovbjerg
2 Friedli, Fabien
2 Goodall, Andrew J.
2 Graça, Daniel Silva
2 Grädel, Erich
2 Grigor’ev, Dmitriĭ Yur’evich
2 Grigorieff, Serge
2 Grigutis, Andrius
2 Heering, Jan
2 Hirvensalo, Mika
2 Hodgson, Bernard R.
2 Hoffmann, Udo
2 Holub, Štěpán
2 Honkala, Juha
2 Kanel’-Belov, Alekseĭ Yakovlevich
2 Kazachkov, Ilya V.
2 Kent, Clement F.
2 Khoussainov, Bakhadyr M.
2 Kieu, Tien D.
2 Kuske, Dietrich
2 Landau, Gad M.
2 Larchey-Wendling, Dominique
2 Lee, Andrew Chung-Yeung
2 Lewis, Alain A.
2 Marché, Claude
2 Marchenkov, Sergeĭ Serafimovich
...and 653 more Authors
all top 5

Cited in 169 Serials

58 Theoretical Computer Science
24 Journal of Mathematical Sciences (New York)
23 Annals of Pure and Applied Logic
17 Journal of Computer and System Sciences
16 Journal of Number Theory
15 Information and Computation
14 Journal of Soviet Mathematics
12 Applied Mathematics and Computation
10 Information Processing Letters
10 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 Discrete Mathematics
4 International Journal of Theoretical Physics
4 Israel Journal of Mathematics
4 Algebra and Logic
4 Inventiones Mathematicae
4 Semigroup Forum
4 Siberian Mathematical Journal
4 Transactions of the American Mathematical Society
4 Journal of Symbolic Computation
4 Journal of Automated Reasoning
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 Advances in Mathematics
3 Journal of Combinatorial Theory. Series B
3 Journal of Pure and Applied Algebra
3 Mathematics and Computers in Simulation
3 Advances in Applied Mathematics
3 Algorithmica
3 Bulletin of the American Mathematical Society. New Series
3 Mathematical Logic Quarterly (MLQ)
3 International Journal of Number Theory
3 Formalized Mathematics
3 RAIRO. Theoretical Informatics and Applications
2 Acta Informatica
2 Discrete Applied Mathematics
2 Annales de l’Institut Fourier
2 Information Sciences
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 Mathematical Social Sciences
2 Journal of Complexity
2 Constructive Approximation
2 Discrete & Computational Geometry
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 Theory and Practice of Logic Programming
2 Natural Computing
2 Science China. Mathematics
2 Forum of Mathematics, Sigma
2 AIMS Mathematics
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Journal of the Franklin Institute
1 Moscow University Mathematics Bulletin
1 Problems of Information Transmission
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 Approximation Theory
1 Journal of Mathematical Economics
1 Journal of Philosophical Logic
1 Le Matematiche
1 Mathematische Nachrichten
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
...and 69 more Serials
all top 5

Cited in 45 Fields

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