W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/6555| Tytuł: | The Matiyasevich Theorem. Preliminaries |
| Autorzy: | Pąk, Karol |
| Słowa kluczowe: | Pell’s equation Diophantine equation Hilbert’s 10th problem |
| Data wydania: | 2017 |
| Data dodania: | 11-maj-2018 |
| Wydawca: | DeGruyter Open |
| Źródło: | Formalized Mathematics, Volume 25, Issue 4, Pages 315–322 |
| Abstrakt: | 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. |
| Afiliacja: | Institute of Informatics University of Białystok, Białystok, Poland |
| Sponsorzy: | This work has been financed by the resources of the Polish National Science Centre granted by decision no. DEC-2015/19/D/ST6/01473. |
| URI: | http://hdl.handle.net/11320/6555 |
| DOI: | 10.1515/forma-2017-0029 |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| Typ Dokumentu: | Article |
| Występuje w kolekcji(ach): | Artykuły naukowe (WInf) Formalized Mathematics, 2017, Volume 25, Issue 4 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| forma-2017-0029.pdf | 300,42 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
