Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/6555
Pełny rekord metadanych
Pole DC | Wartość | Język |
---|---|---|
dc.contributor.author | Pąk, Karol | - |
dc.date.accessioned | 2018-05-11T07:20:22Z | - |
dc.date.available | 2018-05-11T07:20:22Z | - |
dc.date.issued | 2017 | - |
dc.identifier.citation | Formalized Mathematics, Volume 25, Issue 4, Pages 315–322 | - |
dc.identifier.issn | 1426-2630 | - |
dc.identifier.uri | http://hdl.handle.net/11320/6555 | - |
dc.description.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. | - |
dc.description.sponsorship | This work has been financed by the resources of the Polish National Science Centre granted by decision no. DEC-2015/19/D/ST6/01473. | pl |
dc.language.iso | en | - |
dc.publisher | DeGruyter Open | - |
dc.subject | Pell’s equation | - |
dc.subject | Diophantine equation | - |
dc.subject | Hilbert’s 10th problem | - |
dc.title | The Matiyasevich Theorem. Preliminaries | - |
dc.type | Article | - |
dc.identifier.doi | 10.1515/forma-2017-0029 | - |
dc.description.Affiliation | Institute of Informatics University of Białystok, Białystok, Poland | - |
dc.description.references | Marcin Acewicz and Karol Pak. Pell’s equation. Formalized Mathematics, 25(3):197-204, 2017. doi: 10.1515/forma-2017-0019. | - |
dc.description.references | 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. | - |
dc.description.references | 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. | - |
dc.description.references | Yoshinori Fujisawa and Yasushi Fuwa. The Euler’s function. Formalized Mathematics, 6 (4):549-551, 1997. | - |
dc.description.references | 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. | - |
dc.description.references | Robert Milewski. Natural numbers. Formalized Mathematics, 7(1):19-22, 1998. | - |
dc.description.references | Rafał Ziobro. Fermat’s Little Theorem via divisibility of Newton’s binomial. Formalized Mathematics, 23(3):215-229, 2015. doi: 10.1515/forma-2015-0018. | - |
dc.identifier.eissn | 1898-9934 | - |
dc.description.volume | 25 | - |
dc.description.issue | 4 | - |
dc.description.firstpage | 315 | - |
dc.description.lastpage | 322 | - |
dc.identifier.citation2 | Formalized Mathematics | - |
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