×

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.; Matiiassévitch, Yuri; Matuyasevich, Yu. V.; Matijasevič, Yu. V.; 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

100 single-authored
8 Slisenko, A. O.
7 Mints, Grigoriĭ Efroimovich
5 Cegielski, Patrick
5 Orevkov, V. P.
4 Guessarian, Irène
4 Halava, Vesa
4 Karhumaki, Juhani
3 Artemov, Sergei
3 Grigor’ev, Dmitriĭ Yur’evich
3 Kislyakov, Sergeĭ Vital’evich
3 Robinson, Julia
3 Semënov, Alekseĭ L’vovich
3 Vsemirnov, Maxim
2 Adyan, Sergeĭ Ivanovich
2 Bārzdiņš, Jānis
2 Beklemishev, Lev D.
2 Beliakov, Gleb
2 Bokut, Leonid A.
2 Dantsin, E. Ya.
2 Davydov, G. V.
2 Dekhtyar, Alexander M.
2 Diekert, Volker
2 Goncharov, Sergeĭ Savost’yanovich
2 Gurevich, Yuri
2 Ibragimov, Il’dar Abdullovich
2 Knuth, Donald Ervin
2 Konev, B. Yu.
2 Kozlov, Valeriĭ Vasil’evich
2 Kutateladze, Semën Samsonovich
2 Lifschitz, Vladimir
2 Manin, Yuri Ivanovich
2 Margenstern, Maurice
2 Maslov, S. Yu.
2 Muscholl, Anca
2 Nerode, Anil
2 Novikov, Sergeĭ Petrovich
2 Parshin, Alexei N.
2 Reshetnyak, Yuriĭ Grigor’evich
2 Ural’tseva, Nina Nikolaevna
2 Vostokov, Sergeĭ Vladimirovich
2 Zel’manov, Efim Isaakovich
1 Adelson-Velsky, Georgy Maximovich
1 Alder, A.
1 Andreev, Nikolay N.
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 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 Hirsch, Edward A.
1 Ivanov, Aleksandr Aleksandrovich
1 Ivanov, Sergei Vladimirovich
1 Jones, Gareth A.
1 Karavaev, Eh. F.
1 Kari, Jarkko
1 Kleene, Stephen Cole
1 Kolesnikov, Pavel Sergeevich
1 Kossovsky, N. K.
1 Krushkal, Samuel L.
1 Laurinčikas, Antanas
1 Leonov, Gennadiĭ Alekseevich
1 Letychevs’kyĭ, Oleksandr Adol’fovych
1 Levin, Leonid A.
...and 81 more Co-Authors
all top 5

Serials

11 Russian Mathematical Surveys
11 Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta Imeni V. A. Steklova
10 Journal of Soviet Mathematics
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 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 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 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

84 Publications have been cited 581 times in 425 Documents Cited by Year
Hilbert’s tenth problem. (Desyataya problema Gil’berta.) Zbl 0790.03009
Matiyasevich, Yu. V.
111
1993
Enumerable sets are diophantine. Zbl 0212.33401
Matiyasevich, Yu. V.
102
1970
Decision problems for semi-Thue systems with a few rules. Zbl 1078.03033
Matiyasevich, Yuri; Sénizergues, Géraud
30
2005
Reduction of an arbitrary diophantine equation to one in 13 unknowns. Zbl 0279.10019
Matijasevic, Jurii; Robinson, Julia
25
1975
Register machine proof of the theorem on exponential diophantine representation of enumerable sets. Zbl 0599.03043
Jones, J. P.; Matiyasevich, Yu. V.
23
1984
Hilbert’s tenth problem: Diophantine equations: Positive aspects of a negative solution. Zbl 0346.02026
Davis, Martin; Matijasevic, Yuri; Robinson, Julia
20
1976
Hilbert’s tenth problem. With a foreword by Martin Davis. Zbl 0790.03008
Matiyasevich, Yuri V.
17
1993
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
A new formula for \(\pi\). Zbl 0614.10003
Matiyasevich, Yuri V.; Guy, Richard K.
10
1986
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
Some decision problems for traces. Zbl 0899.20030
Matiyasevich, Yuri
8
1997
Approximation of Riemann’s zeta function by finite Dirichlet series: a multiprecision numerical approach. Zbl 1381.11075
Beliakov, Gleb; Matiyasevich, Yuri
8
2015
Window subsequence problems for compressed texts. Zbl 1178.68694
Cégielski, Patrick; Guessarian, Irène; Lifshits, Yury; Matiyasevich, Yuri
8
2006
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
Diophantine sets. Zbl 0269.02019
Matiyasevich, Yu. V.
6
1972
Diophantine representation of enumerable predicates. Zbl 0252.02047
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
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
A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic. Zbl 1338.65117
Beliakov, Gleb; Matiyasevich, Yuri
4
2016
Some probabilistic restatements of the four color conjecture. Zbl 1053.05050
Matiyasevich, Yuri
4
2004
Hilbert’s tenth problem and paradigms of computation. Zbl 1115.03004
Matiyasevich, Yuri
4
2005
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 new representation for the symmetric binomial coefficient and its applications. Zbl 0499.03028
Jones, J. P.; Matiyasevich, Yu. V.
4
1982
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
Computation paradigms in light of Hilbert’s tenth problem. Zbl 1136.03001
Matiyasevich, Yuri
4
2008
Martin Davis and Hilbert’s tenth problem. Zbl 1439.03080
Matiyasevich, Yuri
4
2016
A direct method for simulating partial recursive functions by Diophantine equations. Zbl 0795.03054
Matiyasevich, Yuri
3
1994
My collaboration with Julia Robinson. Zbl 0770.01005
Matiyasevich, Yuri
3
1992
Definability and decidability issues in extensions of the integers with the divisibility predicate. Zbl 0868.11061
Cegielski, Patrick; Matiyasevich, Yuri; Richard, Denis
3
1996
On a representation of a chromatic polynomial. Zbl 0435.05025
Matiyasevich, Yu. V.
3
1977
Primes are nonnegative values of a polynomial in 10 variables. Zbl 0446.10046
Matiyasevich, Yu. V.
3
1981
Computation of generalized Chebyshev polynomials by computer. Zbl 0892.41017
Matiyasevich, Yu. V.
3
1996
Yet another machine experiment in support of Riemann’s hypothesis. Zbl 0516.10032
Matiyasevich, Yu. V.
3
1982
The existence of non-effectivizable estimates in the theory of exponential Diophantine equations. Zbl 0361.02057
Matiyasevich, Yu. V.
3
1974
Existence of noneffectivizable estimates in the theory of exponential Diophantine equations. Zbl 0404.03036
Matiyasevich, Yu. V.
3
1977
Solving trace equations using lexicographical normal forms. Zbl 1401.68161
Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca
3
1997
Real-time recognition of the inclusion relation. Zbl 0253.02043
Matiyasevich, Yu. V.
3
1973
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
Computational rediscovery of Ramanujan’s tau numbers. Zbl 1441.11203
Matiyasevich, Yuri
3
2018
Calculation of Belyi functions for trees with weighted edges. Zbl 1377.05032
Matiyasevich, Yu.
3
2017
A binomial representation of the \(3x+1\) problem. Zbl 0968.11011
Margenstern, Maurice; Matiyasevich, Yuri
2
1999
Hilbert’s tenth problem: Diophantine equations in the twentieth century. Zbl 1088.01013
Matiyasevich, Yu. V.
2
2006
Existential arithmetization of Diophantine equations. Zbl 1160.03022
Matiyasevich, Yuri
2
2009
Riemann’s zeta function and finite Dirichlet series. Zbl 1383.11107
Matiyasevich, Yu. V.
2
2016
A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers. Zbl 0940.03052
Matiyasevich, Yu. V.
2
1995
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
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
What can and cannot be done with Diophantine problems. Zbl 1294.03016
Matiyasevich, Yu. V.
2
2011
On investigations in some algorithmic problems of algebra and number theory. Zbl 0597.03020
Matiyasevich, Yu. V.
2
1984
Possible nontraditional methods of establishing unsatisfiability of propositional formulas. Zbl 0901.03008
Matiyasevich, Yu. V.
2
1987
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
Two reductions of Hilbert’s tenth problem. Zbl 0212.33302
Matiyasevich, Yu. V.
2
1968
Multiple serial episodes matching. Zbl 1187.68178
Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
2
2006
Tree inclusion problems. Zbl 1149.68040
Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri
2
2008
Alternatives to the Euler-Maclaurin formula for calculating infinite sums. Zbl 1237.40001
Matiyasevich, Yu. V.
2
2010
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
Riemann’s hypothesis in terms of the eigenvalues of special Hankel matrices. Zbl 1420.11116
Matiyasevich, Yu. V.
1
2017
Riemann’s zeta function: more computations and conjectures. Zbl 1329.11087
Matiyasevich, Yuri
1
2008
Computer evaluation of generalized Chebyshev polynomials. Zbl 0908.41018
Matiyasevich, Yu. V.
1
1996
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
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
What is there to do after the establishment of unsolvability of an algorithmic problem? Zbl 0583.03025
Matiyasevich, Yu.
1
1982
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
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
The Riemann hypothesis as the parity of special binomial coefficients. Zbl 1434.11183
Matiyasevich, Yuriĭ Vladimirovich
1
2018
Nikolaj Aleksandrovich Shanin (on his seventieth birthday). Zbl 0704.01021
Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O.
1
1990
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
1
2020
Computational aspects of Hamburger’s theorem. Zbl 1461.11114
Matiyasevich, Yuri
1
2019
Plausible ways for calculating the Riemann zeta function via the Riemann-Siegel theta function. Zbl 1469.11300
Matiyasevich, Yu.
1
2020
Small semi-Thue system universal with respect to the termination problem. Zbl 1420.03087
Halava, Vesa; Matiyasevich, Yuri; Niskanen, Reino
1
2017
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
1
2020
Plausible ways for calculating the Riemann zeta function via the Riemann-Siegel theta function. Zbl 1469.11300
Matiyasevich, Yu.
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
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
Riemann’s hypothesis in terms of the eigenvalues of special Hankel matrices. Zbl 1420.11116
Matiyasevich, Yu. V.
1
2017
Small semi-Thue system universal with respect to the termination problem. Zbl 1420.03087
Halava, Vesa; Matiyasevich, Yuri; Niskanen, Reino
1
2017
A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic. Zbl 1338.65117
Beliakov, Gleb; Matiyasevich, Yuri
4
2016
Martin Davis and Hilbert’s tenth problem. Zbl 1439.03080
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
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
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
30
2005
Hilbert’s tenth problem and paradigms of computation. Zbl 1115.03004
Matiyasevich, Yuri
4
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
8
1997
Solving trace equations using lexicographical normal forms. Zbl 1401.68161
Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca
3
1997
Definability and decidability issues in extensions of the integers with the divisibility predicate. Zbl 0868.11061
Cegielski, Patrick; Matiyasevich, Yuri; Richard, Denis
3
1996
Computation of generalized Chebyshev polynomials by computer. Zbl 0892.41017
Matiyasevich, Yu. V.
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
Hilbert’s tenth problem. (Desyataya problema Gil’berta.) Zbl 0790.03009
Matiyasevich, Yu. V.
111
1993
Hilbert’s tenth problem. With a foreword by Martin Davis. Zbl 0790.03008
Matiyasevich, Yuri V.
17
1993
My collaboration with Julia Robinson. Zbl 0770.01005
Matiyasevich, Yuri
3
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.
10
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.
23
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.
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.
3
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.
3
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
25
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 sets. Zbl 0269.02019
Matiyasevich, Yu. V.
6
1972
Diophantine representation of enumerable predicates. Zbl 0252.02047
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.
102
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.
13
1967
Einfache Beispiele nichtauflösbarer kanonischer Kalküle. Zbl 0193.31801
Matiyasevich, Yu. V.
1
1967
all top 5

Cited by 520 Authors

35 Matiyasevich, Yuriĭ Vladimirovich
12 Halava, Vesa
10 Harju, Tero
8 Roman’kov, Vitaly Anatol’evich
7 Potapov, Igor
7 Shlapentokh, Alexandra
6 Bell, Paul C.
6 Diekert, Volker
5 Ibarra, Oscar H.
5 Pasten, Hector V.
5 Pheidas, Thanases
5 Sanna, Carlo
4 Cegielski, Patrick
4 Dang, Zhe
4 Glaßer, Christian
4 Jeż, Artur
4 Litow, Bruce E.
4 Omodeo, Eugenio Giovanni
4 Paramonov, Serge V.
4 Vsemirnov, Maxim
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 Karhumaki, Juhani
3 Kharlampovich, Olga G.
3 Lifschitz, Vladimir
3 Lohrey, Markus
3 Margenstern, Maurice
3 Mints, Grigoriĭ Efroimovich
3 Muscholl, Anca
3 Myasnikov, Alexei G.
3 Niskanen, Reino
3 Shutov, Anton V.
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 Forster, Yannick
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 Honkala, Juha
2 Kazachkov, Ilya V.
2 Kent, Clement F.
2 Khoussainov, Bakhadyr M.
2 Kieu, Tien D.
2 Kobayashi, Naoki
2 Landau, Gad M.
2 Larchey-Wendling, Dominique
2 Lee, Andrew Chung-Yeung
2 Mazur, Barry
2 Moroz, Boris Zelikovich Baruch ben Zelik
2 Onphaeng, Kritkhajohn
2 Orevkov, V. P.
2 Pongsriiam, Prapanpong
2 Prunescu, Mihai
2 Remeslennikov, Vladimir Nikanorovich
2 Reynolds, Andrew
2 Rojas, J. Maurice
2 Rothblum, Uriel George
2 Rybalov, Aleksandr Nikolaevich
2 Scarpellini, Bruno
2 Seki, Shinnosuke
2 Sénizergues, Géraud
2 Shahbazyan, K. V.
2 Shoukourian, Yu. H.
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
...and 420 more Authors
all top 5

Cited in 131 Serials

44 Theoretical Computer Science
22 Journal of Mathematical Sciences (New York)
16 Annals of Pure and Applied Logic
14 Journal of Soviet Mathematics
13 Information and Computation
11 Journal of Computer and System Sciences
10 Applied Mathematics and Computation
9 Information Processing Letters
9 Journal of Number Theory
8 The Journal of Symbolic Logic
7 Mathematical Notes
7 Prikladnaya Diskretnaya Matematika
6 Journal of Mathematical Analysis and Applications
6 Journal of Algebra
6 International Journal of Algebra and Computation
6 Chebyshevskiĭ Sbornik
5 Programming and Computer Software
5 International Journal of Foundations of Computer Science
5 Cybernetics and Systems Analysis
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 Transactions of the American Mathematical Society
3 Algorithmica
3 Bulletin of the American Mathematical Society. New Series
3 Mathematical Programming. Series A. Series B
3 Annals of Mathematics and Artificial Intelligence
3 Logical Methods in Computer Science
2 Acta Informatica
2 Discrete Applied Mathematics
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 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 Journal of Automated Reasoning
2 RAIRO. Informatique Théorique et Applications
2 Journal de Théorie des Nombres de Bordeaux
2 Mathematical Logic Quarterly (MLQ)
2 Theory of Computing Systems
2 Natural Computing
2 International Journal of Number Theory
2 RAIRO. Theoretical Informatics and Applications
2 AIMS Mathematics
1 Archiv für Mathematische Logik und Grundlagenforschung
1 Rocky Mountain Journal of 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 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 Automation and Remote Control
1 Proceedings of the Indian Academy of Sciences. Mathematical Sciences
1 Archive for Mathematical Logic
1 Indagationes Mathematicae. New Series
1 Applicable Algebra in Engineering, Communication and Computing
1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI
1 Experimental Mathematics
1 SIAM Journal on Scientific Computing
1 Combinatorics, Probability and Computing
1 St. Petersburg Mathematical Journal
1 Numerical Linear Algebra with Applications
1 Journal of Functional Programming
...and 31 more Serials
all top 5

Cited in 41 Fields

184 Mathematical logic and foundations (03-XX)
175 Computer science (68-XX)
130 Number theory (11-XX)
44 Group theory and generalizations (20-XX)
23 Combinatorics (05-XX)
14 Operations research, mathematical programming (90-XX)
12 Numerical analysis (65-XX)
11 Linear and multilinear algebra; matrix theory (15-XX)
10 Field theory and polynomials (12-XX)
9 History and biography (01-XX)
8 Algebraic geometry (14-XX)
7 Partial differential equations (35-XX)
7 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
7 Information and communication theory, circuits (94-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)
4 Commutative algebra (13-XX)
4 Real functions (26-XX)
3 General and overarching topics; collections (00-XX)
3 Order, lattices, ordered algebraic structures (06-XX)
3 Ordinary differential equations (34-XX)
3 Approximations and expansions (41-XX)
3 Probability theory and stochastic processes (60-XX)
3 Mechanics of particles and systems (70-XX)
2 General algebraic systems (08-XX)
2 Nonassociative rings and algebras (17-XX)
2 Convex and discrete geometry (52-XX)
2 Manifolds and cell complexes (57-XX)
2 Statistical mechanics, structure of matter (82-XX)
2 Biology and other natural sciences (92-XX)
2 Systems theory; control (93-XX)
1 Measure and integration (28-XX)
1 Difference and functional equations (39-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 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.