REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2017, Volume 25, Issue 4

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/6555
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorPąk, Karol-
    dc.date.accessioned2018-05-11T07:20:22Z-
    dc.date.available2018-05-11T07:20:22Z-
    dc.date.issued2017-
    dc.identifier.citationFormalized Mathematics, Volume 25, Issue 4, Pages 315–322-
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/6555-
    dc.description.abstractIn 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.sponsorshipThis 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.isoen-
    dc.publisherDeGruyter Open-
    dc.subjectPell’s equation-
    dc.subjectDiophantine equation-
    dc.subjectHilbert’s 10th problem-
    dc.titleThe Matiyasevich Theorem. Preliminaries-
    dc.typeArticle-
    dc.identifier.doi10.1515/forma-2017-0029-
    dc.description.AffiliationInstitute of Informatics University of Białystok, Białystok, Poland-
    dc.description.referencesMarcin Acewicz and Karol Pak. Pell’s equation. Formalized Mathematics, 25(3):197-204, 2017. doi: 10.1515/forma-2017-0019.-
    dc.description.referencesZofia 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.referencesMartin 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.referencesYoshinori Fujisawa and Yasushi Fuwa. The Euler’s function. Formalized Mathematics, 6 (4):549-551, 1997.-
    dc.description.referencesXiquan 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.referencesRobert Milewski. Natural numbers. Formalized Mathematics, 7(1):19-22, 1998.-
    dc.description.referencesRafał 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.eissn1898-9934-
    dc.description.volume25-
    dc.description.issue4-
    dc.description.firstpage315-
    dc.description.lastpage322-
    dc.identifier.citation2Formalized Mathematics-
    Występuje w kolekcji(ach):Artykuły naukowe (WInf)
    Formalized Mathematics, 2017, Volume 25, Issue 4

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    forma-2017-0029.pdf300,42 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


    Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons