<abstract xmlns="http://www.w3.org/1999/xhtml"><p> 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.</p></abstract>

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.

The Matiyasevich Theorem. Preliminaries

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) License.

{"article-title":"The Matiyasevich Theorem. Preliminaries"}

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...

The Matiyasevich Theorem. Preliminaries

Data publikacji: 28 mar 2018

Zakres stron: 315 - 322

Otrzymano: 29 lis 2017

DOI: https://doi.org/10.1515/forma-2017-0029

Słowa kluczowe
Pell’s equation, Diophantine equation, Hilbert’s 10th problem

© by Karol Pak

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) License.

The Matiyasevich Theorem. Preliminaries

Data publikacji: 28 mar 2018

Zakres stron: 315 - 322

Otrzymano: 29 lis 2017

DOI: https://doi.org/10.1515/forma-2017-0029

Słowa kluczowePell’s equation, Diophantine equation, Hilbert’s 10th problem

© by Karol Pak

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) License.

Słowa kluczowe
Pell’s equation, Diophantine equation, Hilbert’s 10th problem