Edit Profile (opens in new tab) Matiyasevich, Yuriĭ Vladimirovich Compute Distance To: Compute Author ID: matiyasevich.yuri-v 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. more...less 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 Documents Indexed: 139 Publications since 1967, including 2 Books 14 Contributions as Editor · 2 Further Contributions Co-Authors: 163 Co-Authors with 49 Joint Publications 4,641 Co-Co-Authors 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, Evgeny 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, 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 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 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. 1 Lifshits, Yury ...and 80 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 all top 5 Fields 79 Mathematical logic and foundations (03-XX) 70 Number theory (11-XX) 28 Computer science (68-XX) 27 History and biography (01-XX) 20 Combinatorics (05-XX) 14 General and overarching topics; collections (00-XX) 7 Field theory and polynomials (12-XX) 7 Numerical analysis (65-XX) 5 Group theory and generalizations (20-XX) 3 Approximations and expansions (41-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 1 Functions of a complex variable (30-XX) 1 Sequences, series, summability (40-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Probability theory and stochastic processes (60-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 84 Publications have been cited 599 times in 433 Documents Cited by ▼ Year ▼ Hilbert’s tenth problem. (Desyataya problema Gil’berta.) Zbl 0790.03009Matiyasevich, Yu. V. 112 1993 Enumerable sets are diophantine. Zbl 0212.33401Matiyasevich, Yu. V. 103 1970 Decision problems for semi-Thue systems with a few rules. Zbl 1078.03033Matiyasevich, Yuri; Sénizergues, Géraud 33 2005 Reduction of an arbitrary diophantine equation to one in 13 unknowns. Zbl 0279.10019Matijasevič, Juriĭ; Robinson, Julia 25 1975 Register machine proof of the theorem on exponential diophantine representation of enumerable sets. Zbl 0599.03043Jones, J. P.; Matiyasevich, Yu. V. 23 1984 Hilbert’s tenth problem: Diophantine equations: Positive aspects of a negative solution. Zbl 0346.02026Davis, Martin; Matijasevic, Yuri; Robinson, Julia 20 1976 Hilbert’s tenth problem. With a foreword by Martin Davis. Zbl 0790.03008Matiyasevich, Yuri V. 17 1993 Simple examples of undecidable associative calculi. Zbl 0189.01102Matiyasevich, Yu. V. 14 1967 Proof of recursive unsolvability of Hilbert’s Tenth Problem. Zbl 0746.03006Jones, J. P.; Matiyasevich, Yu. V. 12 1991 A new formula for \(\pi\). Zbl 0614.10003Matiyasevich, Yuri V.; Guy, Richard K. 10 1986 Hilbert’s Tenth Problem: What was done and what is to be done. Zbl 0994.03002Matiyasevich, Yuri 10 2000 Window subsequence problems for compressed texts. Zbl 1178.68694Cégielski, Patrick; Guessarian, Irène; Lifshits, Yury; Matiyasevich, Yuri 9 2006 Diophantine representation of recursively enumerable predicates. Zbl 0235.02039Matiyasevich, Yu. V. 9 1971 Some decision problems for traces. Zbl 0899.20030Matiyasevich, Yuri 8 1997 Approximation of Riemann’s zeta function by finite Dirichlet series: a multiprecision numerical approach. Zbl 1381.11075Beliakov, Gleb; Matiyasevich, Yuri 8 2015 Solving word equations modulo partial commutations. Zbl 0930.68074Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca 6 1999 Window-accumulated subsequence matching problem is linear. Zbl 0998.68042Boasson, Luc; Cegielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri 6 2002 Diophantine representation of enumerable predicates. Zbl 0252.02047Matiyasevich, Yu. V. 6 1972 Diophantine sets. Zbl 0269.02019Matiyasevich, Yu. V. 6 1972 A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic. Zbl 1338.65117Beliakov, Gleb; Matiyasevich, Yuri 5 2016 A new proof of the theorem on exponential diophantine representation of enumerable sets. Zbl 0449.03043Matiyasevich, Yu. V. 5 1980 Horizontal monotonicity of the modulus of the zeta function, \(L\)-functions, and related functions. Zbl 1319.11055Matiyasevich, Yu.; Saidak, F.; Zvengrowski, P. 5 2014 Towards finite-fold Diophantine representations. Zbl 1282.11166Matiyasevich, Yu. 5 2010 The connection between Hilbert’s tenth problem and systems of equations between words and lengths. Zbl 0212.33301Matiyasevich, Yu. V. 5 1968 Hilbert’s tenth problem and paradigms of computation. Zbl 1115.03004Matiyasevich, Yuri 5 2005 Some probabilistic restatements of the four color conjecture. Zbl 1053.05050Matiyasevich, Yuri 4 2004 Computation of generalized Chebyshev polynomials by computer. Zbl 0892.41017Matiyasevich, Yu. V. 4 1996 Computation paradigms in light of Hilbert’s tenth problem. Zbl 1136.03001Matiyasevich, Yuri 4 2008 Martin Davis and Hilbert’s tenth problem. Zbl 1439.03080Matiyasevich, Yuri 4 2016 A new representation for the symmetric binomial coefficient and its applications. Zbl 0499.03028Jones, J. P.; Matiyasevich, Yu. V. 4 1982 Yet another machine experiment in support of Riemann’s hypothesis. Zbl 0516.10032Matiyasevich, Yu. V. 4 1982 Eine Diophantische Darstellung aufzählbarer Prädikate. Zbl 0219.02035Matiyasevich, Yu. V. 4 1971 Diophantine representation of the set of prime numbers. Zbl 0222.10018Matiyasevich, Yu. V. 4 1971 Solution of the tenth problem of Hilbert. Zbl 0223.02041Matiyasevich, Yu. V. 4 1970 A few factors from the Euler product are sufficient for calculating the zeta function with high precision. Zbl 1425.11193Matiyasevich, Yu. V. 3 2017 Primes are nonnegative values of a polynomial in 10 variables. Zbl 0446.10046Matiyasevich, Yu. V. 3 1981 Definability and decidability issues in extensions of the integers with the divisibility predicate. Zbl 0868.11061Cegielski, Patrick; Matiyasevich, Yuri; Richard, Denis 3 1996 A direct method for simulating partial recursive functions by Diophantine equations. Zbl 0795.03054Matiyasevich, Yuri 3 1994 My collaboration with Julia Robinson. Zbl 0770.01005Matiyasevich, Yuri 3 1992 Calculation of Belyi functions for trees with weighted edges. Zbl 1377.05032Matiyasevich, Yu. 3 2017 Solving trace equations using lexicographical normal forms. Zbl 1401.68161Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca 3 1997 A posteriori interval analysis. Zbl 0581.65031Matiyasevich, Yu. V. 3 1985 Real-time recognition of the inclusion relation. Zbl 0253.02043Matiyasevich, Yu. V. 3 1973 The existence of non-effectivizable estimates in the theory of exponential Diophantine equations. Zbl 0361.02057Matiyasevich, Yu. V. 3 1974 Existence of noneffectivizable estimates in the theory of exponential Diophantine equations. Zbl 0404.03036Matiyasevich, Yu. V. 3 1977 On a representation of a chromatic polynomial. Zbl 0435.05025Matiyasevich, Yu. V. 3 1977 Computational rediscovery of Ramanujan’s tau numbers. Zbl 1441.11203Matiyasevich, Yuri 3 2018 Possible nontraditional methods of establishing unsatisfiability of propositional formulas. Zbl 0901.03008Matiyasevich, Yu. V. 2 1987 On investigations in some algorithmic problems of algebra and number theory. Zbl 0597.03020Matiyasevich, Yu. V. 2 1984 Riemann’s zeta function and finite Dirichlet series. Zbl 1383.11107Matiyasevich, Yu. V. 2 2016 A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers. Zbl 0940.03052Matiyasevich, Yu. V. 2 1995 A binomial representation of the \(3x+1\) problem. Zbl 0968.11011Margenstern, Maurice; Matiyasevich, Yuri 2 1999 Nikolai Aleksandrovich Shanin (on his sixtieth birthday). Zbl 0459.01018Maslov, S. Yu.; Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O. 2 1980 Alternatives to the Euler-Maclaurin formula for calculating infinite sums. Zbl 1237.40001Matiyasevich, Yu. V. 2 2010 What can and cannot be done with Diophantine problems. Zbl 1294.03016Matiyasevich, Yu. V. 2 2011 Nikolai Aleksandrovich Shanin (on his 80th birthday). Zbl 1017.01517Vsemirnov, 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 Multiple serial episodes matching. Zbl 1187.68178Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri 2 2006 Existential arithmetization of Diophantine equations. Zbl 1160.03022Matiyasevich, Yuri 2 2009 Nikolaj Aleksandrovich Shanin (on his seventieth birthday). Zbl 0704.01021Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O. 2 1990 Tree inclusion problems. Zbl 1149.68040Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri 2 2008 A class of criteria for primality in terms of divisibility of binomial coefficients. Zbl 0355.10003Matiyasevich, Yu. V. 2 1977 Primes are non-negative values of a polynomial in 10 variables. Zbl 0357.10034Matiyasevich, Yu. V. 2 1977 Algorithmic unsolvability of exponential diophantine equations in three unknowns. Zbl 0541.10023Matiyasevich, 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.10030Matiyasevich, Yu. V. 2 1984 Two reductions of Hilbert’s tenth problem. Zbl 0212.33302Matiyasevich, Yu. V. 2 1968 Plausible ways for calculating the Riemann zeta function via the Riemann-Siegel theta function. Zbl 1469.11300Matiyasevich, Yu. 2 2020 Hilbert’s tenth problem: Diophantine equations in the twentieth century. Zbl 1088.01013Matiyasevich, Yu. V. 2 2006 Computer evaluation of generalized Chebyshev polynomials. Zbl 0908.41018Matiyasevich, Yu. V. 1 1996 On investigations on some algorithmic problems in algebra and number theory. Zbl 0614.03036Matiyasevich, Yu. V. 1 1986 Riemann’s hypothesis in terms of the eigenvalues of special Hankel matrices. Zbl 1420.11116Matiyasevich, Yu. V. 1 2017 Riemann’s zeta function: more computations and conjectures. Zbl 1329.11087Matiyasevich, Yuri 1 2008 Small semi-Thue system universal with respect to the termination problem. Zbl 1420.03087Halava, Vesa; Matiyasevich, Yuri; Niskanen, Reino 1 2017 Arithmetical representations of enumerable sets with a small number of quantifiers. Zbl 0375.02036Matiyasevich, Yu. V. 1 1976 Some purely mathematical results inspired by mathematical logic. Zbl 0377.02001Matiyasevich, Yu. V. 1 1977 What is there to do after the establishment of unsolvability of an algorithmic problem? Zbl 0583.03025Matiyasevich, Yu. 1 1982 Congruences for Apéry numbers \(\beta_n = \sum_{k = 0}^n \binom{n}{k}^2 \binom{n + k}{k}\). Zbl 1471.11089Cao, Hui-Qin; Matiyasevich, Yuri; Sun, Zhi-Wei 1 2020 Computational aspects of Hamburger’s theorem. Zbl 1461.11114Matiyasevich, Yuri 1 2019 On a metamathematical approach to proving theorems of discrete mathematics. Zbl 0325.68048Matiyasevich, Yu. V. 1 1975 A proof scheme in discrete mathematics. Zbl 0359.68106Matiyasevich, Yu. V. 1 1974 A relationship between certain sums over trivial and nontrivial zeros of the Riemann zeta-function. Zbl 0683.10033Matiyasevich, Yu. V. 1 1989 Relations between some sums with respect to trivial and nontrivial zeros of the Riemann zeta function. Zbl 0663.10041Matiyasevich, Yu. V. 1 1989 Diophantine representation of recursively enumerable predicates. Zbl 0223.02042Matiyasevich, Yu. V. 1 1971 The Riemann hypothesis as the parity of special binomial coefficients. Zbl 1434.11183Matiyasevich, Yuriĭ Vladimirovich 1 2018 Einfache Beispiele nichtauflösbarer kanonischer Kalküle. Zbl 0193.31801Matiyasevich, Yu. V. 1 1967 Plausible ways for calculating the Riemann zeta function via the Riemann-Siegel theta function. Zbl 1469.11300Matiyasevich, Yu. 2 2020 Congruences for Apéry numbers \(\beta_n = \sum_{k = 0}^n \binom{n}{k}^2 \binom{n + k}{k}\). Zbl 1471.11089Cao, Hui-Qin; Matiyasevich, Yuri; Sun, Zhi-Wei 1 2020 Computational aspects of Hamburger’s theorem. Zbl 1461.11114Matiyasevich, Yuri 1 2019 Computational rediscovery of Ramanujan’s tau numbers. Zbl 1441.11203Matiyasevich, Yuri 3 2018 The Riemann hypothesis as the parity of special binomial coefficients. Zbl 1434.11183Matiyasevich, Yuriĭ Vladimirovich 1 2018 A few factors from the Euler product are sufficient for calculating the zeta function with high precision. Zbl 1425.11193Matiyasevich, Yu. V. 3 2017 Calculation of Belyi functions for trees with weighted edges. Zbl 1377.05032Matiyasevich, Yu. 3 2017 Riemann’s hypothesis in terms of the eigenvalues of special Hankel matrices. Zbl 1420.11116Matiyasevich, Yu. V. 1 2017 Small semi-Thue system universal with respect to the termination problem. Zbl 1420.03087Halava, Vesa; Matiyasevich, Yuri; Niskanen, Reino 1 2017 A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic. Zbl 1338.65117Beliakov, Gleb; Matiyasevich, Yuri 5 2016 Martin Davis and Hilbert’s tenth problem. Zbl 1439.03080Matiyasevich, Yuri 4 2016 Riemann’s zeta function and finite Dirichlet series. Zbl 1383.11107Matiyasevich, Yu. V. 2 2016 Approximation of Riemann’s zeta function by finite Dirichlet series: a multiprecision numerical approach. Zbl 1381.11075Beliakov, Gleb; Matiyasevich, Yuri 8 2015 Horizontal monotonicity of the modulus of the zeta function, \(L\)-functions, and related functions. Zbl 1319.11055Matiyasevich, Yu.; Saidak, F.; Zvengrowski, P. 5 2014 What can and cannot be done with Diophantine problems. Zbl 1294.03016Matiyasevich, Yu. V. 2 2011 Towards finite-fold Diophantine representations. Zbl 1282.11166Matiyasevich, Yu. 5 2010 Alternatives to the Euler-Maclaurin formula for calculating infinite sums. Zbl 1237.40001Matiyasevich, Yu. V. 2 2010 Existential arithmetization of Diophantine equations. Zbl 1160.03022Matiyasevich, Yuri 2 2009 Computation paradigms in light of Hilbert’s tenth problem. Zbl 1136.03001Matiyasevich, Yuri 4 2008 Tree inclusion problems. Zbl 1149.68040Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri 2 2008 Riemann’s zeta function: more computations and conjectures. Zbl 1329.11087Matiyasevich, Yuri 1 2008 Window subsequence problems for compressed texts. Zbl 1178.68694Cégielski, Patrick; Guessarian, Irène; Lifshits, Yury; Matiyasevich, Yuri 9 2006 Multiple serial episodes matching. Zbl 1187.68178Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri 2 2006 Hilbert’s tenth problem: Diophantine equations in the twentieth century. Zbl 1088.01013Matiyasevich, Yu. V. 2 2006 Decision problems for semi-Thue systems with a few rules. Zbl 1078.03033Matiyasevich, Yuri; Sénizergues, Géraud 33 2005 Hilbert’s tenth problem and paradigms of computation. Zbl 1115.03004Matiyasevich, Yuri 5 2005 Some probabilistic restatements of the four color conjecture. Zbl 1053.05050Matiyasevich, Yuri 4 2004 Window-accumulated subsequence matching problem is linear. Zbl 0998.68042Boasson, Luc; Cegielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri 6 2002 Nikolai Aleksandrovich Shanin (on his 80th birthday). Zbl 1017.01517Vsemirnov, 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 Hilbert’s Tenth Problem: What was done and what is to be done. Zbl 0994.03002Matiyasevich, Yuri 10 2000 Solving word equations modulo partial commutations. Zbl 0930.68074Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca 6 1999 A binomial representation of the \(3x+1\) problem. Zbl 0968.11011Margenstern, Maurice; Matiyasevich, Yuri 2 1999 Some decision problems for traces. Zbl 0899.20030Matiyasevich, Yuri 8 1997 Solving trace equations using lexicographical normal forms. Zbl 1401.68161Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca 3 1997 Computation of generalized Chebyshev polynomials by computer. Zbl 0892.41017Matiyasevich, Yu. V. 4 1996 Definability and decidability issues in extensions of the integers with the divisibility predicate. Zbl 0868.11061Cegielski, Patrick; Matiyasevich, Yuri; Richard, Denis 3 1996 Computer evaluation of generalized Chebyshev polynomials. Zbl 0908.41018Matiyasevich, Yu. V. 1 1996 A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers. Zbl 0940.03052Matiyasevich, Yu. V. 2 1995 A direct method for simulating partial recursive functions by Diophantine equations. Zbl 0795.03054Matiyasevich, Yuri 3 1994 Hilbert’s tenth problem. (Desyataya problema Gil’berta.) Zbl 0790.03009Matiyasevich, Yu. V. 112 1993 Hilbert’s tenth problem. With a foreword by Martin Davis. Zbl 0790.03008Matiyasevich, Yuri V. 17 1993 My collaboration with Julia Robinson. Zbl 0770.01005Matiyasevich, Yuri 3 1992 Proof of recursive unsolvability of Hilbert’s Tenth Problem. Zbl 0746.03006Jones, J. P.; Matiyasevich, Yu. V. 12 1991 Nikolaj Aleksandrovich Shanin (on his seventieth birthday). Zbl 0704.01021Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O. 2 1990 A relationship between certain sums over trivial and nontrivial zeros of the Riemann zeta-function. Zbl 0683.10033Matiyasevich, Yu. V. 1 1989 Relations between some sums with respect to trivial and nontrivial zeros of the Riemann zeta function. Zbl 0663.10041Matiyasevich, Yu. V. 1 1989 Possible nontraditional methods of establishing unsatisfiability of propositional formulas. Zbl 0901.03008Matiyasevich, Yu. V. 2 1987 A new formula for \(\pi\). Zbl 0614.10003Matiyasevich, Yuri V.; Guy, Richard K. 10 1986 On investigations on some algorithmic problems in algebra and number theory. Zbl 0614.03036Matiyasevich, Yu. V. 1 1986 A posteriori interval analysis. Zbl 0581.65031Matiyasevich, Yu. V. 3 1985 Register machine proof of the theorem on exponential diophantine representation of enumerable sets. Zbl 0599.03043Jones, J. P.; Matiyasevich, Yu. V. 23 1984 On investigations in some algorithmic problems of algebra and number theory. Zbl 0597.03020Matiyasevich, Yu. V. 2 1984 Algorithmic unsolvability of exponential diophantine equations in three unknowns. Zbl 0541.10023Matiyasevich, 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.10030Matiyasevich, Yu. V. 2 1984 A new representation for the symmetric binomial coefficient and its applications. Zbl 0499.03028Jones, J. P.; Matiyasevich, Yu. V. 4 1982 Yet another machine experiment in support of Riemann’s hypothesis. Zbl 0516.10032Matiyasevich, Yu. V. 4 1982 What is there to do after the establishment of unsolvability of an algorithmic problem? Zbl 0583.03025Matiyasevich, Yu. 1 1982 Primes are nonnegative values of a polynomial in 10 variables. Zbl 0446.10046Matiyasevich, Yu. V. 3 1981 A new proof of the theorem on exponential diophantine representation of enumerable sets. Zbl 0449.03043Matiyasevich, Yu. V. 5 1980 Nikolai Aleksandrovich Shanin (on his sixtieth birthday). Zbl 0459.01018Maslov, S. Yu.; Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O. 2 1980 Existence of noneffectivizable estimates in the theory of exponential Diophantine equations. Zbl 0404.03036Matiyasevich, Yu. V. 3 1977 On a representation of a chromatic polynomial. Zbl 0435.05025Matiyasevich, Yu. V. 3 1977 A class of criteria for primality in terms of divisibility of binomial coefficients. Zbl 0355.10003Matiyasevich, Yu. V. 2 1977 Primes are non-negative values of a polynomial in 10 variables. Zbl 0357.10034Matiyasevich, Yu. V. 2 1977 Some purely mathematical results inspired by mathematical logic. Zbl 0377.02001Matiyasevich, Yu. V. 1 1977 Hilbert’s tenth problem: Diophantine equations: Positive aspects of a negative solution. Zbl 0346.02026Davis, Martin; Matijasevic, Yuri; Robinson, Julia 20 1976 Arithmetical representations of enumerable sets with a small number of quantifiers. Zbl 0375.02036Matiyasevich, Yu. V. 1 1976 Reduction of an arbitrary diophantine equation to one in 13 unknowns. Zbl 0279.10019Matijasevič, Juriĭ; Robinson, Julia 25 1975 On a metamathematical approach to proving theorems of discrete mathematics. Zbl 0325.68048Matiyasevich, Yu. V. 1 1975 The existence of non-effectivizable estimates in the theory of exponential Diophantine equations. Zbl 0361.02057Matiyasevich, Yu. V. 3 1974 A proof scheme in discrete mathematics. Zbl 0359.68106Matiyasevich, Yu. V. 1 1974 Real-time recognition of the inclusion relation. Zbl 0253.02043Matiyasevich, Yu. V. 3 1973 Diophantine representation of enumerable predicates. Zbl 0252.02047Matiyasevich, Yu. V. 6 1972 Diophantine sets. Zbl 0269.02019Matiyasevich, Yu. V. 6 1972 Diophantine representation of recursively enumerable predicates. Zbl 0235.02039Matiyasevich, Yu. V. 9 1971 Eine Diophantische Darstellung aufzählbarer Prädikate. Zbl 0219.02035Matiyasevich, Yu. V. 4 1971 Diophantine representation of the set of prime numbers. Zbl 0222.10018Matiyasevich, Yu. V. 4 1971 Diophantine representation of recursively enumerable predicates. Zbl 0223.02042Matiyasevich, Yu. V. 1 1971 Enumerable sets are diophantine. Zbl 0212.33401Matiyasevich, Yu. V. 103 1970 Solution of the tenth problem of Hilbert. Zbl 0223.02041Matiyasevich, Yu. V. 4 1970 The connection between Hilbert’s tenth problem and systems of equations between words and lengths. Zbl 0212.33301Matiyasevich, Yu. V. 5 1968 Two reductions of Hilbert’s tenth problem. Zbl 0212.33302Matiyasevich, Yu. V. 2 1968 Simple examples of undecidable associative calculi. Zbl 0189.01102Matiyasevich, Yu. V. 14 1967 Einfache Beispiele nichtauflösbarer kanonischer Kalküle. Zbl 0193.31801Matiyasevich, Yu. V. 1 1967 all cited Publications top 5 cited Publications all top 5 Cited by 536 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 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 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 Stephan, Frank 3 Tinelli, Cesare 3 Vidaux, Xavier 3 Weimann, Oren 2 Beliakov, Gleb 2 Bille, Philip 2 Blass, Andreas Raphael 2 Buser, Peter 2 Dantsin, Evgeny 2 Davis, Martin David 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 Shallit, Jeffrey O. 2 Shoukourian, Yu. H. 2 Smith, Warren D. 2 Speranski, Stanislav O. 2 Stannett, Mike 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 ...and 436 more Authors all top 5 Cited in 133 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 10 Journal of Number Theory 9 Information Processing Letters 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 Journal of Automated Reasoning 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 3 RAIRO. Theoretical Informatics and Applications 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 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 AIMS Mathematics 1 Archiv für Mathematische Logik und Grundlagenforschung 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 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 ...and 33 more Serials all top 5 Cited in 42 Fields 185 Mathematical logic and foundations (03-XX) 180 Computer science (68-XX) 134 Number theory (11-XX) 44 Group theory and generalizations (20-XX) 23 Combinatorics (05-XX) 14 Numerical analysis (65-XX) 14 Operations research, mathematical programming (90-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 Convex and discrete geometry (52-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 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 Global analysis, analysis on manifolds (58-XX) 1 Statistics (62-XX) 1 Fluid mechanics (76-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.