Edit Profile (opens in new tab) Matiyasevich, Yuriĭ Vladimirovich Co-Author Distance 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: 152 Publications since 1967, including 2 Books and 7 Additional arXiv Preprints 14 Contributions as Editor · 2 Further Contributions Co-Authors: 170 Co-Authors with 52 Joint Publications 5,175 Co-Co-Authors all top 5 Co-Authors 110 single-authored 8 Slisenko, A. O. 7 Mints, Grigoriĭ Efroimovich 6 Orevkov, V. P. 5 Cegielski, Patrick 4 Artemov, Sergei 4 Guessarian, Irène 4 Halava, Vesa 4 Karhumaki, Juhani 4 Semënov, Alekseĭ L’vovich 3 Beklemishev, Lev D. 3 Dantsin, Evgeny 3 Grigor’ev, Dmitriĭ Yur’evich 3 Ibragimov, Il’dar Abdullovich 3 Kislyakov, Sergeĭ Vital’evich 3 Robinson, Julia 3 Vsemirnov, Maxim 2 Adyan, Sergeĭ Ivanovich 2 Bārzdiņš, Jānis 2 Beliakov, Gleb 2 Bokut, Leonid A. 2 Davydov, G. V. 2 Dekhtyar, Alexander M. 2 Diekert, Volker 2 Goncharov, Sergeĭ Savost’yanovich 2 Gurevich, Yuri 2 Hirsch, Edward A. 2 Knuth, Donald Ervin 2 Konev, B. Yu. 2 Kozlov, Valeriĭ Vasil’evich 2 Kutateladze, Semën Samsonovich 2 Lifschitz, Vladimir 2 Lodkin, A. A. 2 Manin, Yuriĭ Ivanovich 2 Margenstern, Maurice 2 Maslov, S. Yu. 2 Muscholl, Anca 2 Nerode, Anil 2 Novikov, Sergeĭ Petrovich 2 Parshin, Alekseĭ Nikolaevich 2 Reshetnyak, Yuriĭ Grigor’evich 2 Shen’, A. Kh. 2 Sun, Zhi-Wei 2 Ural’tseva, Nina Nikolaevna 2 Vershik, Anatoliĭ Moiseevich 2 Vostokov, Sergeĭ Vladimirovich 2 Zel’manov, Efim Isaakovich 1 Adelson-Velsky, Georgy 1 Alder, A. 1 Andreev, Nikolaĭ Nikolaevich 1 Anisimov, Anatoly V. 1 Arkhangel’skiĭ, Dmitriĭ A. 1 Baizhanov, Bektur Sembiuly 1 Bauer, Friedrich Ludwig 1 Beauquier, Danièle 1 Belegradek, Oleg V. 1 Belishev, Mikhail Igorevitch 1 Belyaev, V. Ya. 1 Bernik, Vasiliĭ Ivanovich 1 Boasson, Luc 1 Bondarko, Mikhail Vladimirovich 1 Boone, William W. 1 Borkin, L. Ya. 1 Buda, A. 1 Bukhshtaber, Viktor Matveevich 1 Burago, Dmitri 1 Burago, Yuriĭ Dmitrievich 1 Cao, Huiqin 1 Chernov, V. P. 1 Chirskiĭ, Vladimir Grigor’evich 1 Chubarikov, Vladimir Nikolaevich 1 Collins, Donald J. 1 Daderkin, Dmitri O. 1 Davis, Martin David 1 Dikovsky, Alexander Yakovlevich 1 Dobrokhotov, Sergei Yurievich 1 Dobrovol’skiĭ, Nikolaĭ Mikhaĭlovich 1 Dobrovol’skiĭ, Nikolai Nikolaevich 1 Dudakov, Sergey M. 1 Dybkova, E. V. 1 Eliashberg, Yakov Matveevich 1 Ershov, Andreĭ Petrovich 1 Ershov, Yuriĭ Leonidovich 1 Fedotov, B. A. 1 Generalov, Aleksandr Ivanovich 1 Girsh, È. A. 1 Gitik, Moti 1 Glushkov, Viktor Mikhaĭlovich 1 Gordeev, Nikolai L. 1 Greene, Daniel H. 1 Gromov, Mikhael Leonidovich 1 Guy, Richard Kenneth 1 Heath-Brown, Roger 1 Ivanov, Aleksandr Aleksandrovich 1 Ivanov, Sergei Vladimirovich 1 Jones, Gareth A. 1 Kalmens, E. V. 1 Karavaev, Eh. F. 1 Kari, Jarkko 1 Kleene, Stephen Cole 1 Kolesnikov, Pavel Sergeevich ...and 88 more Co-Authors all top 5 Serials 12 Russian Mathematical Surveys 11 Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta Imeni V. A. Steklova 10 Journal of Soviet Mathematics 9 Journal of Mathematical Sciences (New York) 7 Annals of Pure and Applied Logic 6 Theoretical Computer Science 5 Proceedings of the Steklov Institute of Mathematics 4 Mathematical Notes 4 Fundamenta Informaticae 3 Acta Arithmetica 3 Soviet Mathematics. Doklady 3 Chebyshevskiĭ Sbornik 3 Trudy Matematicheskogo Instituta Imeni V. A. Steklova 2 American Mathematical Monthly 2 Matematicheskie Zametki 2 Journal of Number Theory 2 The Journal of Symbolic Logic 2 Doklady Mathematics 2 Lecture Notes in Computer Science 1 Information Processing Letters 1 Moscow University Mathematics Bulletin 1 Uspekhi Matematicheskikh Nauk [N. S.] 1 The Mathematical Intelligencer 1 Theory of Probability and its Applications 1 Annales des Sciences Mathématiques du Québec 1 BIT 1 Illinois Journal of Mathematics 1 Journal of Graph Theory 1 Matematikai Lapok 1 Mathematics and Computers in Simulation 1 Mathematics of the USSR. Izvestiya 1 Cybernetics 1 Selecta Mathematica Sovietica 1 Information and Computation 1 Automation and Remote Control 1 Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya 1 Vestnik Moskovskogo Universiteta. Seriya I. Matematika, Mekhanika 1 Vestnik St. Petersburg University. Mathematics 1 Experimental Mathematics 1 Zapiski Nauchnykh Seminarov POMI 1 Voprosy Kibernetiki (Moskva) 1 Metody Diskretnogo Analiza 1 Combinatorics, Probability and Computing 1 St. Petersburg Mathematical Journal 1 RAIRO. Theoretical Informatics and Applications 1 Integers 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 International Journal of Number Theory 1 Diskretnyĭ Analiz all top 5 Fields 81 Mathematical logic and foundations (03-XX) 77 Number theory (11-XX) 31 Computer science (68-XX) 28 History and biography (01-XX) 22 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 Linear and multilinear algebra; matrix theory (15-XX) 3 Approximations and expansions (41-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 92 Publications have been cited 712 times in 513 Documents Cited by ▼ Year ▼ Hilbert’s tenth problem. (Desyataya problema Gil’berta.) Zbl 0790.03009 Matiyasevich, Yu. V. 125 1993 Enumerable sets are diophantine. Zbl 0212.33401 Matiyasevich, Yu. V. 120 1970 Decision problems for semi-Thue systems with a few rules. Zbl 1078.03033 Matiyasevich, Yuri; Sénizergues, Géraud 35 2005 Hilbert’s tenth problem. With a foreword by Martin Davis. Zbl 0790.03008 Matiyasevich, Yuri V. 34 1993 Hilbert’s tenth problem: Diophantine equations: Positive aspects of a negative solution. Zbl 0346.02026 Davis, Martin; Matijasevic, Yuri; Robinson, Julia 30 1976 Register machine proof of the theorem on exponential diophantine representation of enumerable sets. Zbl 0599.03043 Jones, J. P.; Matiyasevich, Yu. V. 27 1984 Reduction of an arbitrary diophantine equation to one in 13 unknowns. Zbl 0279.10019 Matijasevič, Juriĭ; Robinson, Julia 26 1975 Simple examples of undecidable associative calculi. Zbl 0189.01102 Matiyasevich, Yu. V. 19 1967 Proof of recursive unsolvability of Hilbert’s Tenth Problem. Zbl 0746.03006 Jones, J. P.; Matiyasevich, Yu. V. 13 1991 Hilbert’s Tenth Problem: What was done and what is to be done. Zbl 0994.03002 Matiyasevich, Yuri 11 2000 Diophantine representation of recursively enumerable predicates. Zbl 0235.02039 Matiyasevich, Yu. V. 10 1971 A new formula for \(\pi\). Zbl 0614.10003 Matiyasevich, Yuri V.; Guy, Richard K. 10 1986 Approximation of Riemann’s zeta function by finite Dirichlet series: a multiprecision numerical approach. Zbl 1381.11075 Beliakov, Gleb; Matiyasevich, Yuri 10 2015 Window subsequence problems for compressed texts. Zbl 1178.68694 Cégielski, Patrick; Guessarian, Irène; Lifshits, Yury; Matiyasevich, Yuri 9 2006 Diophantine representation of enumerable predicates. Zbl 0252.02047 Matiyasevich, Yu. V. 9 1972 Some decision problems for traces. Zbl 0899.20030 Matiyasevich, Yuri 8 1997 Diophantine sets. Zbl 0269.02019 Matiyasevich, Yu. V. 7 1972 Horizontal monotonicity of the modulus of the zeta function, \(L\)-functions, and related functions. Zbl 1319.11055 Matiyasevich, Yu.; Saidak, F.; Zvengrowski, P. 7 2014 Solving word equations modulo partial commutations. Zbl 0930.68074 Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca 6 1999 Window-accumulated subsequence matching problem is linear. Zbl 0998.68042 Boasson, Luc; Cegielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri 6 2002 A new proof of the theorem on exponential diophantine representation of enumerable sets. Zbl 0449.03043 Matiyasevich, Yu. V. 6 1980 A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic. Zbl 1338.65117 Beliakov, Gleb; Matiyasevich, Yuri 6 2016 Hilbert’s tenth problem and paradigms of computation. Zbl 1115.03004 Matiyasevich, Yuri 5 2005 The connection between Hilbert’s tenth problem and systems of equations between words and lengths. Zbl 0212.33301 Matiyasevich, Yu. V. 5 1968 Diophantine representation of the set of prime numbers. Zbl 0222.10018 Matiyasevich, Yu. V. 5 1971 Martin Davis and Hilbert’s tenth problem. Zbl 1439.03080 Matiyasevich, Yuri 5 2016 Towards finite-fold Diophantine representations. Zbl 1282.11166 Matiyasevich, Yu. 5 2010 Computation paradigms in light of Hilbert’s tenth problem. Zbl 1136.03001 Matiyasevich, Yuri 4 2008 A new representation for the symmetric binomial coefficient and its applications. Zbl 0499.03028 Jones, J. P.; Matiyasevich, Yu. V. 4 1982 Yet another machine experiment in support of Riemann’s hypothesis. Zbl 0516.10032 Matiyasevich, Yu. V. 4 1982 Some probabilistic restatements of the four color conjecture. Zbl 1053.05050 Matiyasevich, Yuri 4 2004 Einfache Beispiele nichtauflösbarer kanonischer Kalküle. Zbl 0193.31801 Matiyasevich, Yu. V. 4 1967 Eine Diophantische Darstellung aufzählbarer Prädikate. Zbl 0219.02035 Matiyasevich, Yu. V. 4 1971 Solution of the tenth problem of Hilbert. Zbl 0223.02041 Matiyasevich, Yu. V. 4 1970 Computation of generalized Chebyshev polynomials by computer. Zbl 0892.41017 Matiyasevich, Yu. V. 4 1996 My collaboration with Julia Robinson. Zbl 0770.01005 Matiyasevich, Yuri 4 1992 Some purely mathematical results inspired by mathematical logic. Zbl 0377.02001 Matiyasevich, Yu. V. 4 1977 Existence of noneffectivizable estimates in the theory of exponential Diophantine equations. Zbl 0404.03036 Matiyasevich, Yu. V. 4 1977 On a representation of a chromatic polynomial. Zbl 0435.05025 Matiyasevich, Yu. V. 4 1977 A binomial representation of the \(3x+1\) problem. Zbl 0968.11011 Margenstern, Maurice; Matiyasevich, Yuri 3 1999 The existence of non-effectivizable estimates in the theory of exponential Diophantine equations. Zbl 0361.02057 Matiyasevich, Yu. V. 3 1974 Hilbert’s tenth problem: Diophantine equations in the twentieth century. Zbl 1088.01013 Matiyasevich, Yu. V. 3 2006 Real-time recognition of the inclusion relation. Zbl 0253.02043 Matiyasevich, Yu. V. 3 1973 A posteriori interval analysis. Zbl 0581.65031 Matiyasevich, Yu. V. 3 1985 Primes are nonnegative values of a polynomial in 10 variables. Zbl 0446.10046 Matiyasevich, Yu. V. 3 1981 A direct method for simulating partial recursive functions by Diophantine equations. Zbl 0795.03054 Matiyasevich, Yuri 3 1994 Definability and decidability issues in extensions of the integers with the divisibility predicate. Zbl 0868.11061 Cegielski, Patrick; Matiyasevich, Yuri; Richard, Denis 3 1996 Calculation of Belyi functions for trees with weighted edges. Zbl 1377.05032 Matiyasevich, Yu. 3 2017 Riemann’s zeta function and finite Dirichlet series. Zbl 1383.11107 Matiyasevich, Yu. V. 3 2016 A few factors from the Euler product are sufficient for calculating the zeta function with high precision. Zbl 1425.11193 Matiyasevich, Yu. V. 3 2017 Solving trace equations using lexicographical normal forms. Zbl 1401.68161 Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca 3 1997 Computational rediscovery of Ramanujan’s tau numbers. Zbl 1441.11203 Matiyasevich, Yuri 3 2018 Relations between some sums with respect to trivial and nontrivial zeros of the Riemann zeta function. Zbl 0663.10041 Matiyasevich, Yu. V. 2 1989 Algorithmic unsolvability of exponential diophantine equations in three unknowns. Zbl 0541.10023 Matiyasevich, Yu. V. 2 1984 An analytic representation for the sum of values which are reciprocals of the nontrivial zeros of the Riemann zeta-function. Zbl 0551.10030 Matiyasevich, Yu. V. 2 1984 A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers. Zbl 0940.03052 Matiyasevich, Yu. V. 2 1995 Possible nontraditional methods of establishing unsatisfiability of propositional formulas. Zbl 0901.03008 Matiyasevich, Yu. V. 2 1987 Alternatives to the Euler-Maclaurin formula for calculating infinite sums. Zbl 1237.40001 Matiyasevich, Yu. V. 2 2010 Multiple serial episodes matching. Zbl 1187.68178 Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri 2 2006 On Post correspondence problem for letter monotonic languages. Zbl 1173.68033 Halava, Vesa; Kari, Jarkko; Matiyasevich, Yuri 2 2009 Two reductions of Hilbert’s tenth problem. Zbl 0212.33302 Matiyasevich, Yu. V. 2 1968 On a metamathematical approach to proving theorems of discrete mathematics. Zbl 0325.68048 Matiyasevich, Yu. V. 2 1975 A class of criteria for primality in terms of divisibility of binomial coefficients. Zbl 0355.10003 Matiyasevich, Yu. V. 2 1977 Primes are non-negative values of a polynomial in 10 variables. Zbl 0357.10034 Matiyasevich, Yu. V. 2 1977 Existential arithmetization of Diophantine equations. Zbl 1160.03022 Matiyasevich, Yuri 2 2009 On investigations in some algorithmic problems of algebra and number theory. Zbl 0597.03020 Matiyasevich, Yu. V. 2 1984 On investigations on some algorithmic problems in algebra and number theory. Zbl 0614.03036 Matiyasevich, Yu. V. 2 1986 Nikolaj Aleksandrovich Shanin (on his seventieth birthday). Zbl 0704.01021 Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O. 2 1990 Nikolai Aleksandrovich Shanin (on his sixtieth birthday). Zbl 0459.01018 Maslov, S. Yu.; Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O. 2 1980 What can and cannot be done with Diophantine problems. Zbl 1294.03016 Matiyasevich, Yu. V. 2 2011 Small semi-Thue system universal with respect to the termination problem. Zbl 1420.03087 Halava, Vesa; Matiyasevich, Yuri; Niskanen, Reino 2 2017 Riemann’s hypothesis in terms of the eigenvalues of special Hankel matrices. Zbl 1420.11116 Matiyasevich, Yu. V. 2 2017 Nikolai Aleksandrovich Shanin (on his 80th birthday). Zbl 1017.01517 Vsemirnov, M. A.; Girsh, È. A.; Grigor’ev, D. Yu.; Davydov, G. V.; Dantsin, E. Ya.; Ivanov, A. A.; Konev, B. Yu.; Lifshits, V. A.; Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O. 2 2001 Tree inclusion problems. Zbl 1149.68040 Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri 2 2008 Plausible ways for calculating the Riemann zeta function via the Riemann-Siegel theta function. Zbl 1469.11300 Matiyasevich, Yu. 2 2020 The Riemann hypothesis in computer science. Zbl 1484.03078 Matiyasevich, Yu. 2 2020 Computational aspects of Hamburger’s theorem. Zbl 1461.11114 Matiyasevich, Yuri 2 2019 The Riemann hypothesis as the parity of special binomial coefficients. Zbl 1434.11183 Matiyasevich, Yuriĭ Vladimirovich 2 2018 Congruences for Apéry numbers \(\beta_n = \sum_{k = 0}^n \binom{n}{k}^2 \binom{n + k}{k}\). Zbl 1471.11089 Cao, Hui-Qin; Matiyasevich, Yuri; Sun, Zhi-Wei 2 2020 A relationship between certain sums over trivial and nontrivial zeros of the Riemann zeta-function. Zbl 0683.10033 Matiyasevich, Yu. V. 1 1989 Algorithms in modern mathematics and computer science. Proceedings, Urgench, Uzbek SSR, September 16–22, 1979. Zbl 0477.68035 1 1981 Computer evaluation of generalized Chebyshev polynomials. Zbl 0908.41018 Matiyasevich, Yu. V. 1 1996 Basis for the polynomial time computable functions. Zbl 0693.03023 Jones, J. P.; Matiyasevich, Yu. V. 1 1990 A proof scheme in discrete mathematics. Zbl 0359.68106 Matiyasevich, Yu. V. 1 1974 Some arithmetical restatements of the four color conjecture. Zbl 0979.05049 Matiyasevich, Y. 1 2001 Diophantine representation of recursively enumerable predicates. Zbl 0223.02042 Matiyasevich, Yu. V. 1 1971 What is there to do after the establishment of unsolvability of an algorithmic problem? Zbl 0583.03025 Matiyasevich, Yu. 1 1982 Arithmetical representations of enumerable sets with a small number of quantifiers. Zbl 0375.02036 Matiyasevich, Yu. V. 1 1976 A class of primality criteria formulated in terms of the divisibility of binomial coefficients. Zbl 0453.10005 Matiyasevich, Yu. V. 1 1981 LFCS ’94, Logical foundations of computer science. 3rd international symposium, St. Petersburg, Russia, July 11–14, 1994. Proceedings. Zbl 0865.00034 1 1994 Riemann’s zeta function: more computations and conjectures. Zbl 1329.11087 Matiyasevich, Yuri 1 2008 On some algebraic ways to calculate zeros of the Riemann zeta function. Zbl 07719128 Matiyasevich, Yuri 1 2022 On some algebraic ways to calculate zeros of the Riemann zeta function. Zbl 07719128 Matiyasevich, Yuri 1 2022 Plausible ways for calculating the Riemann zeta function via the Riemann-Siegel theta function. Zbl 1469.11300 Matiyasevich, Yu. 2 2020 The Riemann hypothesis in computer science. Zbl 1484.03078 Matiyasevich, Yu. 2 2020 Congruences for Apéry numbers \(\beta_n = \sum_{k = 0}^n \binom{n}{k}^2 \binom{n + k}{k}\). Zbl 1471.11089 Cao, Hui-Qin; Matiyasevich, Yuri; Sun, Zhi-Wei 2 2020 Computational aspects of Hamburger’s theorem. Zbl 1461.11114 Matiyasevich, Yuri 2 2019 Computational rediscovery of Ramanujan’s tau numbers. Zbl 1441.11203 Matiyasevich, Yuri 3 2018 The Riemann hypothesis as the parity of special binomial coefficients. Zbl 1434.11183 Matiyasevich, Yuriĭ Vladimirovich 2 2018 Calculation of Belyi functions for trees with weighted edges. Zbl 1377.05032 Matiyasevich, Yu. 3 2017 A few factors from the Euler product are sufficient for calculating the zeta function with high precision. Zbl 1425.11193 Matiyasevich, Yu. V. 3 2017 Small semi-Thue system universal with respect to the termination problem. Zbl 1420.03087 Halava, Vesa; Matiyasevich, Yuri; Niskanen, Reino 2 2017 Riemann’s hypothesis in terms of the eigenvalues of special Hankel matrices. Zbl 1420.11116 Matiyasevich, Yu. V. 2 2017 A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic. Zbl 1338.65117 Beliakov, Gleb; Matiyasevich, Yuri 6 2016 Martin Davis and Hilbert’s tenth problem. Zbl 1439.03080 Matiyasevich, Yuri 5 2016 Riemann’s zeta function and finite Dirichlet series. Zbl 1383.11107 Matiyasevich, Yu. V. 3 2016 Approximation of Riemann’s zeta function by finite Dirichlet series: a multiprecision numerical approach. Zbl 1381.11075 Beliakov, Gleb; Matiyasevich, Yuri 10 2015 Horizontal monotonicity of the modulus of the zeta function, \(L\)-functions, and related functions. Zbl 1319.11055 Matiyasevich, Yu.; Saidak, F.; Zvengrowski, P. 7 2014 What can and cannot be done with Diophantine problems. Zbl 1294.03016 Matiyasevich, Yu. V. 2 2011 Towards finite-fold Diophantine representations. Zbl 1282.11166 Matiyasevich, Yu. 5 2010 Alternatives to the Euler-Maclaurin formula for calculating infinite sums. Zbl 1237.40001 Matiyasevich, Yu. V. 2 2010 On Post correspondence problem for letter monotonic languages. Zbl 1173.68033 Halava, Vesa; Kari, Jarkko; Matiyasevich, Yuri 2 2009 Existential arithmetization of Diophantine equations. Zbl 1160.03022 Matiyasevich, Yuri 2 2009 Computation paradigms in light of Hilbert’s tenth problem. Zbl 1136.03001 Matiyasevich, Yuri 4 2008 Tree inclusion problems. Zbl 1149.68040 Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri 2 2008 Riemann’s zeta function: more computations and conjectures. Zbl 1329.11087 Matiyasevich, Yuri 1 2008 Window subsequence problems for compressed texts. Zbl 1178.68694 Cégielski, Patrick; Guessarian, Irène; Lifshits, Yury; Matiyasevich, Yuri 9 2006 Hilbert’s tenth problem: Diophantine equations in the twentieth century. Zbl 1088.01013 Matiyasevich, Yu. V. 3 2006 Multiple serial episodes matching. Zbl 1187.68178 Cégielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri 2 2006 Decision problems for semi-Thue systems with a few rules. Zbl 1078.03033 Matiyasevich, Yuri; Sénizergues, Géraud 35 2005 Hilbert’s tenth problem and paradigms of computation. Zbl 1115.03004 Matiyasevich, Yuri 5 2005 Some probabilistic restatements of the four color conjecture. Zbl 1053.05050 Matiyasevich, Yuri 4 2004 Window-accumulated subsequence matching problem is linear. Zbl 0998.68042 Boasson, Luc; Cegielski, Patrick; Guessarian, Irène; Matiyasevich, Yuri 6 2002 Nikolai Aleksandrovich Shanin (on his 80th birthday). Zbl 1017.01517 Vsemirnov, M. A.; Girsh, È. A.; Grigor’ev, D. Yu.; Davydov, G. V.; Dantsin, E. Ya.; Ivanov, A. A.; Konev, B. Yu.; Lifshits, V. A.; Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O. 2 2001 Some arithmetical restatements of the four color conjecture. Zbl 0979.05049 Matiyasevich, Y. 1 2001 Hilbert’s Tenth Problem: What was done and what is to be done. Zbl 0994.03002 Matiyasevich, Yuri 11 2000 Solving word equations modulo partial commutations. Zbl 0930.68074 Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca 6 1999 A binomial representation of the \(3x+1\) problem. Zbl 0968.11011 Margenstern, Maurice; Matiyasevich, Yuri 3 1999 Some decision problems for traces. Zbl 0899.20030 Matiyasevich, Yuri 8 1997 Solving trace equations using lexicographical normal forms. Zbl 1401.68161 Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca 3 1997 Computation of generalized Chebyshev polynomials by computer. Zbl 0892.41017 Matiyasevich, Yu. V. 4 1996 Definability and decidability issues in extensions of the integers with the divisibility predicate. Zbl 0868.11061 Cegielski, Patrick; Matiyasevich, Yuri; Richard, Denis 3 1996 Computer evaluation of generalized Chebyshev polynomials. Zbl 0908.41018 Matiyasevich, Yu. V. 1 1996 A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers. Zbl 0940.03052 Matiyasevich, Yu. V. 2 1995 A direct method for simulating partial recursive functions by Diophantine equations. Zbl 0795.03054 Matiyasevich, Yuri 3 1994 LFCS ’94, Logical foundations of computer science. 3rd international symposium, St. Petersburg, Russia, July 11–14, 1994. Proceedings. Zbl 0865.00034 1 1994 Hilbert’s tenth problem. (Desyataya problema Gil’berta.) Zbl 0790.03009 Matiyasevich, Yu. V. 125 1993 Hilbert’s tenth problem. With a foreword by Martin Davis. Zbl 0790.03008 Matiyasevich, Yuri V. 34 1993 My collaboration with Julia Robinson. Zbl 0770.01005 Matiyasevich, Yuri 4 1992 Proof of recursive unsolvability of Hilbert’s Tenth Problem. Zbl 0746.03006 Jones, J. P.; Matiyasevich, Yu. V. 13 1991 Nikolaj Aleksandrovich Shanin (on his seventieth birthday). Zbl 0704.01021 Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O. 2 1990 Basis for the polynomial time computable functions. Zbl 0693.03023 Jones, J. P.; Matiyasevich, Yu. V. 1 1990 Relations between some sums with respect to trivial and nontrivial zeros of the Riemann zeta function. Zbl 0663.10041 Matiyasevich, Yu. V. 2 1989 A relationship between certain sums over trivial and nontrivial zeros of the Riemann zeta-function. Zbl 0683.10033 Matiyasevich, Yu. V. 1 1989 Possible nontraditional methods of establishing unsatisfiability of propositional formulas. Zbl 0901.03008 Matiyasevich, Yu. V. 2 1987 A new formula for \(\pi\). Zbl 0614.10003 Matiyasevich, Yuri V.; Guy, Richard K. 10 1986 On investigations on some algorithmic problems in algebra and number theory. Zbl 0614.03036 Matiyasevich, Yu. V. 2 1986 A posteriori interval analysis. Zbl 0581.65031 Matiyasevich, Yu. V. 3 1985 Register machine proof of the theorem on exponential diophantine representation of enumerable sets. Zbl 0599.03043 Jones, J. P.; Matiyasevich, Yu. V. 27 1984 Algorithmic unsolvability of exponential diophantine equations in three unknowns. Zbl 0541.10023 Matiyasevich, Yu. V. 2 1984 An analytic representation for the sum of values which are reciprocals of the nontrivial zeros of the Riemann zeta-function. Zbl 0551.10030 Matiyasevich, Yu. V. 2 1984 On investigations in some algorithmic problems of algebra and number theory. Zbl 0597.03020 Matiyasevich, Yu. V. 2 1984 A new representation for the symmetric binomial coefficient and its applications. Zbl 0499.03028 Jones, J. P.; Matiyasevich, Yu. V. 4 1982 Yet another machine experiment in support of Riemann’s hypothesis. Zbl 0516.10032 Matiyasevich, Yu. V. 4 1982 What is there to do after the establishment of unsolvability of an algorithmic problem? Zbl 0583.03025 Matiyasevich, Yu. 1 1982 Primes are nonnegative values of a polynomial in 10 variables. Zbl 0446.10046 Matiyasevich, Yu. V. 3 1981 Algorithms in modern mathematics and computer science. Proceedings, Urgench, Uzbek SSR, September 16–22, 1979. Zbl 0477.68035 1 1981 A class of primality criteria formulated in terms of the divisibility of binomial coefficients. Zbl 0453.10005 Matiyasevich, Yu. V. 1 1981 A new proof of the theorem on exponential diophantine representation of enumerable sets. Zbl 0449.03043 Matiyasevich, Yu. V. 6 1980 Nikolai Aleksandrovich Shanin (on his sixtieth birthday). Zbl 0459.01018 Maslov, S. Yu.; Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O. 2 1980 Some purely mathematical results inspired by mathematical logic. Zbl 0377.02001 Matiyasevich, Yu. V. 4 1977 Existence of noneffectivizable estimates in the theory of exponential Diophantine equations. Zbl 0404.03036 Matiyasevich, Yu. V. 4 1977 On a representation of a chromatic polynomial. Zbl 0435.05025 Matiyasevich, Yu. V. 4 1977 A class of criteria for primality in terms of divisibility of binomial coefficients. Zbl 0355.10003 Matiyasevich, Yu. V. 2 1977 Primes are non-negative values of a polynomial in 10 variables. Zbl 0357.10034 Matiyasevich, Yu. V. 2 1977 Hilbert’s tenth problem: Diophantine equations: Positive aspects of a negative solution. Zbl 0346.02026 Davis, Martin; Matijasevic, Yuri; Robinson, Julia 30 1976 Arithmetical representations of enumerable sets with a small number of quantifiers. Zbl 0375.02036 Matiyasevich, Yu. V. 1 1976 Reduction of an arbitrary diophantine equation to one in 13 unknowns. Zbl 0279.10019 Matijasevič, Juriĭ; Robinson, Julia 26 1975 On a metamathematical approach to proving theorems of discrete mathematics. Zbl 0325.68048 Matiyasevich, Yu. V. 2 1975 The existence of non-effectivizable estimates in the theory of exponential Diophantine equations. Zbl 0361.02057 Matiyasevich, Yu. V. 3 1974 A proof scheme in discrete mathematics. Zbl 0359.68106 Matiyasevich, Yu. V. 1 1974 Real-time recognition of the inclusion relation. Zbl 0253.02043 Matiyasevich, Yu. V. 3 1973 Diophantine representation of enumerable predicates. Zbl 0252.02047 Matiyasevich, Yu. V. 9 1972 Diophantine sets. Zbl 0269.02019 Matiyasevich, Yu. V. 7 1972 Diophantine representation of recursively enumerable predicates. Zbl 0235.02039 Matiyasevich, Yu. V. 10 1971 Diophantine representation of the set of prime numbers. Zbl 0222.10018 Matiyasevich, Yu. V. 5 1971 Eine Diophantische Darstellung aufzählbarer Prädikate. Zbl 0219.02035 Matiyasevich, Yu. V. 4 1971 Diophantine representation of recursively enumerable predicates. Zbl 0223.02042 Matiyasevich, Yu. V. 1 1971 Enumerable sets are diophantine. Zbl 0212.33401 Matiyasevich, Yu. V. 120 1970 Solution of the tenth problem of Hilbert. Zbl 0223.02041 Matiyasevich, Yu. V. 4 1970 The connection between Hilbert’s tenth problem and systems of equations between words and lengths. Zbl 0212.33301 Matiyasevich, Yu. V. 5 1968 Two reductions of Hilbert’s tenth problem. Zbl 0212.33302 Matiyasevich, Yu. V. 2 1968 Simple examples of undecidable associative calculi. Zbl 0189.01102 Matiyasevich, Yu. V. 19 1967 Einfache Beispiele nichtauflösbarer kanonischer Kalküle. Zbl 0193.31801 Matiyasevich, Yu. V. 4 1967 all cited Publications top 5 cited Publications all top 5 Cited by 626 Authors 40 Matiyasevich, Yuriĭ Vladimirovich 13 Halava, Vesa 11 Harju, Tero 10 Shlapentokh, Alexandra 8 Potapov, Igor 7 Bell, Paul C. 7 Diekert, Volker 6 Glaßer, Christian 6 Roman’kov, Vitaly Anatol’evich 5 Ibarra, Oscar H. 5 Pasten, Hector V. 5 Pheidas, Thanases 5 Sanna, Carlo 4 Cegielski, Patrick 4 Dang, Zhe 4 Dose, Titus 4 Jeż, Artur 4 Litow, Bruce E. 4 Niskanen, Reino 4 Omodeo, Eugenio Giovanni 4 Paramonov, Serge V. 4 Vsemirnov, Maxim 3 Baader, Franz 3 Bodirsky, Manuel 3 Bousla, Sid Ali 3 Calude, Cristian S. 3 Cantone, Domenico 3 Chaitin, Gregory John 3 Demeyer, Jeroen 3 Durnev, Valeriĭ Georgievich 3 Guessarian, Irène 3 Gurevich, Yuri 3 Karhumaki, Juhani 3 Kharlampovich, Olga G. 3 Kobayashi, Naoki 3 Lifschitz, Vladimir 3 Lohrey, Markus 3 Margenstern, Maurice 3 Mazur, Barry 3 Mints, Grigoriĭ Efroimovich 3 Muscholl, Anca 3 Myasnikov, Alexei G. 3 Rybalov, Aleksandr Nikolaevich 3 Sénizergues, Géraud 3 Shallit, Jeffrey Outlaw 3 Shutov, Anton V. 3 Stephan, Frank 3 Tinelli, Cesare 3 Tyszka, Apoloniusz 3 Velupillai, Kumaraswamy (Vela) 3 Vidaux, Xavier 3 Voros, André 3 Weimann, Oren 2 Adyan, Sergeĭ Ivanovich 2 Barth, Dominik 2 Beck, Moritz 2 Beliakov, Gleb 2 Bille, Philip 2 Blass, Andreas Raphael 2 Blümlein, Johannes 2 Buser, Peter 2 Buss, Jonathan F. 2 Carl, Merlin 2 Dantsin, Evgeny 2 Davis, Martin David 2 Dilcher, Karl 2 Eaves, B. Curtis 2 Erofeev, S. Yu. 2 Fernau, Henning 2 Forster, Yannick 2 Frandsen, Gudmund Skovbjerg 2 Friedli, Fabien 2 Goodall, Andrew J. 2 Graça, Daniel Silva 2 Grädel, Erich 2 Grigorieff, Serge 2 Grigutis, Andrius 2 Hirvensalo, Mika 2 Hodgson, Bernard R. 2 Hoffmann, Udo 2 Holub, Štěpán 2 Honkala, Juha 2 Kazachkov, Ilya V. 2 Kent, Clement F. 2 Khoussainov, Bakhadyr M. 2 Kieu, Tien D. 2 Landau, Gad M. 2 Larchey-Wendling, Dominique 2 Lee, Andrew Chung-Yeung 2 Marché, Claude 2 Marchenkov, Sergeĭ Serafimovich 2 Michler, Larissa 2 Moroz, Boris Zelikovich 2 Nyberg-Brodda, Carl-Fredrik 2 Onphaeng, Kritkhajohn 2 Orevkov, V. P. 2 Pąk, Karol 2 Pongsriiam, Prapanpong 2 Prunescu, Mihai 2 Reitwießner, Christian ...and 526 more Authors all top 5 Cited in 152 Serials 44 Theoretical Computer Science 23 Journal of Mathematical Sciences (New York) 17 Annals of Pure and Applied Logic 15 Information and Computation 14 Journal of Soviet Mathematics 12 Journal of Number Theory 11 Journal of Computer and System Sciences 10 Applied Mathematics and Computation 9 Information Processing Letters 8 Journal of Algebra 8 The Journal of Symbolic Logic 7 Mathematical Notes 7 Prikladnaya Diskretnaya Matematika 6 Journal of Mathematical Analysis and Applications 6 International Journal of Algebra and Computation 6 International Journal of Foundations of Computer Science 6 Cybernetics and Systems Analysis 6 Chebyshevskiĭ Sbornik 5 Programming and Computer Software 5 Logical Methods in Computer Science 4 International Journal of Theoretical Physics 4 Israel Journal of Mathematics 4 Algebra and Logic 4 Semigroup Forum 4 Siberian Mathematical Journal 4 Transactions of the American Mathematical Society 4 Mathematical Programming. Series A. Series B 4 Annals of Mathematics and Artificial Intelligence 4 RAIRO. Theoretical Informatics and Applications 4 Proceedings of the Steklov Institute of Mathematics 3 Artificial Intelligence 3 Russian Mathematical Surveys 3 The Mathematical Intelligencer 3 Inventiones Mathematicae 3 Journal of Combinatorial Theory. Series B 3 Algorithmica 3 Journal of Automated Reasoning 3 Bulletin of the American Mathematical Society. New Series 3 Mathematical Logic Quarterly (MLQ) 3 RAIRO. Theoretical Informatics and Applications 2 Acta Informatica 2 Discrete Applied Mathematics 2 Discrete Mathematics 2 Advances in Mathematics 2 Annales de l’Institut Fourier 2 Information Sciences 2 Journal of Pure and Applied Algebra 2 Mathematics and Computers in Simulation 2 Notre Dame Journal of Formal Logic 2 Proceedings of the American Mathematical Society 2 SIAM Journal on Computing 2 Studia Logica 2 Cybernetics 2 Advances in Applied Mathematics 2 Journal of Symbolic Computation 2 Journal of Complexity 2 Constructive Approximation 2 RAIRO. Informatique Théorique et Applications 2 Archive for Mathematical Logic 2 Journal de Théorie des Nombres de Bordeaux 2 Izvestiya: Mathematics 2 Doklady Mathematics 2 Theory of Computing Systems 2 Journal of Integer Sequences 2 Lobachevskii Journal of Mathematics 2 Natural Computing 2 International Journal of Number Theory 2 Formalized Mathematics 2 AIMS Mathematics 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Journal of the Franklin Institute 1 Moscow University Mathematics Bulletin 1 Rocky Mountain Journal of Mathematics 1 Theoretical and Mathematical Physics 1 Mathematics of Computation 1 Chaos, Solitons and Fractals 1 Automatica 1 BIT 1 Czechoslovak Mathematical Journal 1 Duke Mathematical Journal 1 Functiones et Approximatio. Commentarii Mathematici 1 Journal of Mathematical Economics 1 Journal of Philosophical Logic 1 Le Matematiche 1 Mathematics of Operations Research 1 Mathematica Slovaca 1 Mathematical Systems Theory 1 Memoirs of the American Mathematical Society 1 Metroeconomica 1 Monatshefte für Mathematik 1 RAIRO, Informatique Théorique 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 Tôhoku Mathematical Journal. Second Series 1 European Journal of Combinatorics 1 Mathematical Social Sciences 1 Discrete & Computational Geometry 1 Formal Aspects of Computing 1 The Annals of Applied Probability 1 Discrete Mathematics and Applications 1 Automation and Remote Control ...and 52 more Serials all top 5 Cited in 43 Fields 220 Mathematical logic and foundations (03-XX) 214 Computer science (68-XX) 160 Number theory (11-XX) 50 Group theory and generalizations (20-XX) 27 Combinatorics (05-XX) 16 Numerical analysis (65-XX) 15 Operations research, mathematical programming (90-XX) 14 Linear and multilinear algebra; matrix theory (15-XX) 12 Field theory and polynomials (12-XX) 11 History and biography (01-XX) 11 Algebraic geometry (14-XX) 11 Information and communication theory, circuits (94-XX) 10 Quantum theory (81-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Commutative algebra (13-XX) 7 Associative rings and algebras (16-XX) 7 Partial differential equations (35-XX) 6 Functions of a complex variable (30-XX) 6 Special functions (33-XX) 5 General and overarching topics; collections (00-XX) 5 Convex and discrete geometry (52-XX) 4 Real functions (26-XX) 4 Ordinary differential equations (34-XX) 4 Dynamical systems and ergodic theory (37-XX) 4 Probability theory and stochastic processes (60-XX) 4 Systems theory; control (93-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Approximations and expansions (41-XX) 3 Mechanics of particles and systems (70-XX) 2 General algebraic systems (08-XX) 2 Nonassociative rings and algebras (17-XX) 2 Difference and functional equations (39-XX) 2 Harmonic analysis on Euclidean spaces (42-XX) 2 Manifolds and cell complexes (57-XX) 2 Statistical mechanics, structure of matter (82-XX) 2 Biology and other natural sciences (92-XX) 1 Measure and integration (28-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Algebraic topology (55-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Statistics (62-XX) 1 Fluid mechanics (76-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.