The Matiyasevich Theorem. Preliminaries-Reference-Cited by-同舟云学术

The Matiyasevich Theorem. Preliminaries

Published:2017-12-20 Issue:4 Volume:25 Page:315-322
ISSN:1898-9934
Container-title:Formalized Mathematics
language:en
Short-container-title:

Author:

Pak Karol¹

Affiliation:

1. Institute of Informatics University of Białystok, Białystok , Poland

Abstract

Summary In this article, we prove selected properties of Pell’s equation that are essential to finally prove the Diophantine property of two equations. These equations are explored in the proof of Matiyasevich’s negative solution of Hilbert’s tenth problem.

Publisher

Walter de Gruyter GmbH

Subject

Applied Mathematics,Computational Mathematics

Reference7 articles.

1. [1] Marcin Acewicz and Karol Pak. Pell’s equation. Formalized Mathematics, 25(3):197-204, 2017. doi: 10.1515/forma-2017-0019.10.1515/forma-2017-0019

2. [2] Zofia Adamowicz and Paweł Zbierski. Logic of Mathematics: A Modern Course of Classical Logic. Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts. Wiley-Interscience, 1997.

3. [3] Martin Davis. Hilbert’s tenth problem is unsolvable. The American Mathematical Monthly, Mathematical Association of America, 80(3):233-269, 1973. doi: 10.2307/2318447.10.2307/2318447

4. [4] Yoshinori Fujisawa and Yasushi Fuwa. The Euler’s function. Formalized Mathematics, 6 (4):549-551, 1997.

5. [5] Xiquan Liang, Li Yan, and Junjie Zhao. Linear congruence relation and complete residue systems. Formalized Mathematics, 15(4):181-187, 2007. doi: 10.2478/v10037-007-0022-7.10.2478/v10037-007-0022-7

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Prime Representing Polynomial with 10 Unknowns – Introduction. Part II;Formalized Mathematics;2022-12-01

2. Hilbert's Tenth Problem in Coq (Extended Version);Logical Methods in Computer Science;2022-03-01

3. Prime Representing Polynomial;Formalized Mathematics;2021-12-01

4. Formalization of the MRDP Theorem in the Mizar System;Formalized Mathematics;2019-07-01

5. Basic Diophantine Relations;Formalized Mathematics;2018-07-01