Matiyasevich, Yuri Computation paradigms in light of Hilbert’s tenth problem. (English) Zbl 1136.03001 Cooper, S. Barry (ed.) et al., New computational paradigms. Changing conceptions of what is computable. New York, NY: Springer (ISBN 978-0-387-36033-1/hbk). 59-85 (2008). Reviewer: Roman Murawski (Poznań) MSC: 03-03 11-03 01A60 03-02 03B25 03D35 03D40 11U05 68Q05 PDFBibTeX XMLCite \textit{Y. Matiyasevich}, in: New computational paradigms. Changing conceptions of what is computable. New York, NY: Springer. 59--85 (2008; Zbl 1136.03001)
Matiyasevich, Yuri Hilbert’s tenth problem and paradigms of computation. (English) Zbl 1115.03004 Cooper, S. Barry (ed.) et al., New computational paradigms. First conference on computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8–12, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26179-6/pbk). Lecture Notes in Computer Science 3526, 310-321 (2005). MSC: 03-03 11-03 01A60 03-02 03B25 03Dxx 11U05 68Qxx PDFBibTeX XMLCite \textit{Y. Matiyasevich}, Lect. Notes Comput. Sci. 3526, 310--321 (2005; Zbl 1115.03004) Full Text: DOI
Jones, J. P.; Matiyasevich, Yu. V. Basis for the polynomial time computable functions. (English) Zbl 0693.03023 Number theory, Proc. 1st Conf. Can. Number Theory Assoc., Banff/Alberta (Can.) 1988, 255-270 (1990). MSC: 03D15 03D60 11A25 11U99 PDFBibTeX XML
Matiyasevich, Yu. V. On investigations on some algorithmic problems in algebra and number theory. (English) Zbl 0614.03036 Proc. Steklov Inst. Math. 168, 227-252 (1986). MSC: 03Dxx 03-03 01A65 01A72 20M05 03-02 03B25 03D35 11U05 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich}, Proc. Steklov Inst. Math. 168, 227--252 (1986; Zbl 0614.03036)
Matiyasevich, Yu. V. On investigations in some algorithmic problems of algebra and number theory. (Russian) Zbl 0597.03020 Tr. Mat. Inst. Steklova 168, 218-235 (1984). MSC: 03Dxx 03-03 01A65 01A72 20M05 03-02 03B25 03D35 11U05 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich}, Tr. Mat. Inst. Steklova 168, 218--235 (1984; Zbl 0597.03020)
Ershov, A. P. (ed.); Knuth, D. E. (ed.) [Zemanek, H.; Knuth, D. E.; Uspensky, V. A.; Semenov, A. L.; Barzdin, J. M.; Manin, Yu. I.; Nepeivoda, N. N.; Tyugu, E. H.; Letichevsky, A. A.; Adel’son-Vel’skii, G. M.; Slisenko, A. O.; Alder, A.; Strassen, V.; Kleene, S. C.; Shanin, N. A.; Tseytlin, G. S.; Ershov, A. P.; Bauer, F. L.; Glushkov, V. M.; Matijasevic, Y.; Matiyasevich, Yu. V.; Buda, A.; Anisimov, A. V.] Algorithms in modern mathematics and computer science. Proceedings, Urgench, Uzbek SSR, September 16–22, 1979. (English) Zbl 0477.68035 Lecture Notes in Computer Science, 122. Berlin-Heidelberg-New York: Springer-Verlag. XI, 487 p. DM 45.50; $ 21.20 (1981). MSC: 68W99 68-06 01A30 03-06 68Q25 03D60 03B25 03D25 11U05 68N01 03F60 03F65 94A15 68P10 03A05 03D40 03D15 68Q60 PDFBibTeX XML
Matiyasevich, Yu. V. Primes are nonnegative values of a polynomial in 10 variables. (English) Zbl 0446.10046 J. Sov. Math. 15, 33-44 (1981). MSC: 11U99 03D25 03D80 11A41 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich}, J. Sov. Math. 15, 33--44 (1981; Zbl 0446.10046) Full Text: DOI
Matiyasevich, Yu. V. A new proof of the theorem on exponential diophantine representation of enumerable sets. (English) Zbl 0449.03043 J. Sov. Math. 14, 1475-1486 (1980). MSC: 03D80 03D25 11U99 11D99 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich}, J. Sov. Math. 14, 1475--1486 (1980; Zbl 0449.03043) Full Text: DOI
Matiyasevich, Yu. V. Existence of noneffectivizable estimates in the theory of exponential Diophantine equations. (English) Zbl 0404.03036 J. Sov. Math. 8, 299-311 (1977). MSC: 03D80 11D99 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich}, J. Sov. Math. 8, 299--311 (1977; Zbl 0404.03036) Full Text: DOI
Matiyasevich, Yu. V. Some purely mathematical results inspired by mathematical logic. (English) Zbl 0377.02001 Logic, Found. Math., Comput. Theory; Proc. 5th int. Congr., London/Ontario 1975, Part 1, 121-127 (1977). MSC: 03-02 03D80 03D25 11D99 11U99 PDFBibTeX XML
Matiyasevich, Yu. V. Primes are non-negative values of a polynomial in 10 variables. (Russian) Zbl 0357.10034 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 68, 62-82 (1977). MSC: 11U99 03D80 11A41 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 68, 62--82 (1977; Zbl 0357.10034) Full Text: EuDML
Davis, Martin; Matijasevic, Yuri; Robinson, Julia Hilbert’s tenth problem: Diophantine equations: Positive aspects of a negative solution. (English) Zbl 0346.02026 Math. Dev. Hilbert Probl., Proc. Symp. Pure Math. 28, De Kalb 1974, 323-378 (1976). MSC: 03D80 03D25 11D99 11U05 03-02 PDFBibTeX XML
Matiyasevich, Yu. V. A new proof of the theorem on exponential Diophantine representation of recursively enumerable predicates. (Russian) Zbl 0346.02025 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 60, 75-92 (1976). MSC: 03D80 11U99 11D99 03D25 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 60, 75--92 (1976; Zbl 0346.02025) Full Text: EuDML
Matijasevič, Juriĭ; Robinson, Julia Reduction of an arbitrary diophantine equation to one in 13 unknowns. (English) Zbl 0279.10019 Acta Arith. 27, 521-553 (1975). MSC: 11D41 03D80 11U05 PDFBibTeX XMLCite \textit{J. Matijasevič} and \textit{J. Robinson}, Acta Arith. 27, 521--553 (1975; Zbl 0279.10019) Full Text: DOI EuDML
Matiyasevich, Yu. V. The existence of non-effectivizable estimates in the theory of exponential Diophantine equations. (Russian) Zbl 0361.02057 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 40, 77-93 (1974). MSC: 03D80 11D99 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 40, 77--93 (1974; Zbl 0361.02057) Full Text: EuDML
Matijasevic, Jurii; Robinson, Julia [Matiyasevich, Yu. V.] Zwei universelle Dreiquantorendarstellungen aufzählbarer Mengen. (Russian) Zbl 0327.02035 Teor. Algorif. mat. Logika, 112-123 (1974). MSC: 03D25 03D80 PDFBibTeX XML
Matiyasevich, Yu. V. Real-time recognition of the inclusion relation. (English) Zbl 0253.02043 J. Sov. Math. 1, No. 1, 64-70 (1973). MSC: 03D99 03D10 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich}, J. Sov. Math. 1, No. 1, 64--70 (1973; Zbl 0253.02043) Full Text: DOI
Matiyasevich, Yu. V. A sufficient condition for the convergence of monotone sequences. (English) Zbl 0252.02033 J. Sov. Math. 1, No. 1, 59-63 (1973). MSC: 03D60 03F99 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich}, J. Sov. Math. 1, No. 1, 59--63 (1973; Zbl 0252.02033) Full Text: DOI
Matiyasevich, Yu. V. Diophantine sets. (English. Russian original) Zbl 0269.02019 Russ. Math. Surv. 27, No. 5, 124-164 (1972); translation from Usp. Mat. Nauk 27, No. 5(167), 185-222 (1972). MSC: 03D80 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich}, Russ. Math. Surv. 27, No. 5, 124--164 (1972; Zbl 0269.02019); translation from Usp. Mat. Nauk 27, No. 5(167), 185--222 (1972) Full Text: DOI
Matiyasevich, Yu. V. Diophantine representation of enumerable predicates. (English) Zbl 0252.02047 Math. USSR, Izv. 5(1971), 1-28 (1972). MSC: 03D80 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich}, Math. USSR, Izv. 5, 1--28 (1972; Zbl 0252.02047) Full Text: DOI
Matiyasevich, Yu. V. On real-time recognition of the relation of occurrence. (Russian) Zbl 0222.02051 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 104-114 (1971). MSC: 03D10 03D99 PDFBibTeX XMLCite \textit{Yu. V. Matiyasevich}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 104--114 (1971; Zbl 0222.02051) Full Text: EuDML
Matiyasevich, Yu. V. The connection between Hilbert’s tenth problem and systems of equations between words and lengths. (English. Russian original) Zbl 0212.33301 Semin. Math., V. A. Steklov Math. Inst., Leningrad 8, 61-67 (1968); translation from Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklov 8, 132-144 (1968). MSC: 03D40 PDFBibTeX XML