<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

Publicado en línea: 28 mar 2018

Páginas: 315 - 322

Recibido: 29 nov 2017

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

Palabras clave
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

Publicado en línea: 28 mar 2018

Páginas: 315 - 322

Recibido: 29 nov 2017

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

Palabras clavePell’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.

Palabras clave
Pell’s equation, Diophantine equation, Hilbert’s 10th problem