Matiyasevich, Yuri Martin Davis and Hilbert’s tenth problem. (English) Zbl 1439.03080 Omodeo, Eugenio G. (ed.) et al., Martin Davis on computability, computational logic, and mathematical foundations. Cham: Springer. Outst. Contrib. Log. 10, 35-54 (2016). MSC: 03D35 11U05 03-03 01A60 01A61 PDFBibTeX XMLCite \textit{Y. Matiyasevich}, Outst. Contrib. Log. 10, 35--54 (2016; Zbl 1439.03080) Full Text: DOI
Matiyasevich, Yu. Towards finite-fold Diophantine representations. (English) Zbl 1282.11166 J. Math. Sci., New York 171, No. 6, 745-752 (2010) and Zap. Nauchn. Semin. POMI 377, 78-90 (2010). MSC: 11U05 03C07 11D99 PDFBibTeX XMLCite \textit{Yu. Matiyasevich}, J. Math. Sci., New York 171, No. 6, 745--752 (2010; Zbl 1282.11166) Full Text: DOI
Matiyasevich, Yuri Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets. (English) Zbl 1073.68898 Math. Comput. Simul. 67, No. 1-2, 125-133 (2004). MSC: 68W30 03B25 03C10 03D25 11U05 PDFBibTeX XMLCite \textit{Y. Matiyasevich}, Math. Comput. Simul. 67, No. 1--2, 125--133 (2004; Zbl 1073.68898) Full Text: DOI
Baxa, Christoph Diophantine representation of the decimal expansions of \(e\) and \(\pi \). (English) Zbl 0984.11007 Math. Slovaca 50, No. 5, 531-539 (2000). MSC: 11A63 11U05 PDFBibTeX XMLCite \textit{C. Baxa}, Math. Slovaca 50, No. 5, 531--539 (2000; Zbl 0984.11007) Full Text: EuDML
Matiyasevich, Yuri A direct method for simulating partial recursive functions by Diophantine equations. (English) Zbl 0795.03054 Ann. Pure Appl. Logic 67, No. 1-3, 325-348 (1994). MSC: 03D20 11D99 11U99 PDFBibTeX XMLCite \textit{Y. Matiyasevich}, Ann. Pure Appl. Logic 67, No. 1--3, 325--348 (1994; Zbl 0795.03054) Full Text: DOI