À propos de cet article
Publié en ligne: 28 mars 2018
Pages: 315 - 322
Reçu: 29 nov. 2017
DOI: https://doi.org/10.1515/forma-2017-0029
Mots clés
© by Karol Pak
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) License.
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.