REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

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

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/19740
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorPąk, Karol-
    dc.date.accessioned2026-02-02T13:53:07Z-
    dc.date.available2026-02-02T13:53:07Z-
    dc.date.issued2025-
    dc.identifier.citationFormalized Mathematics, Volume 33, Issue 1, Pages 245-265pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/19740-
    dc.description.abstractIn this paper, we present formal solutions to twelve problems selected from Wacław Sierpiński’s book 250 Problems in Elementary Number Theory. The selected problems are: 108, 112–114, 118–119, 127, 129, 130, and 132–134 formalized in the Mizar system.pl
    dc.language.isoenpl
    dc.publisherUniversity of Białystokpl
    dc.rightsAttribution-ShareAlike 4.0 International (CC BY-SA 4.0)pl
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/pl
    dc.subjectnumber theorypl
    dc.subjectprime numberpl
    dc.titleElementary Number Theory Problems. Part XIXpl
    dc.typeArticlepl
    dc.rights.holder2025 The Author(s)pl
    dc.rights.holderCC BY-SA 4.0 licensepl
    dc.identifier.doi10.2478/forma-2025-0020-
    dc.description.AffiliationFaculty of Computer Science, University of Białystok, Polandpl
    dc.description.referencesP.T. Bateman, J.L. Selfridge, and S.S. Wagstaff Jr. The editor’s corner: The new Mersenne conjecture. The American Mathematical Monthly, 96(2):125–128, 1989. doi:10.1080/00029890.1989.11972155.pl
    dc.description.referencesMario Carneiro. The divergence of the sum of prime reciprocals. Formalized Mathematics, 30(3):209–210, 2022. doi:10.2478/forma-2022-0015.pl
    dc.description.referencesJohn Horton Conway and R.K. Guy. The Book of Numbers. Springer-Verlag, 1996.pl
    dc.description.referencesG. Di Pietro. New estimations for numerical analysis approach to twin primes conjecture. Notes on Number Theory and Discrete Mathematics, 30(3):580–586, 2024.doi:10.7546/nntdm.2024.30.3.580-586.pl
    dc.description.referencesLeonard Eugene Dickson. History of Theory of Numbers. New York, 1952.pl
    dc.description.referencesHarvey Dubner and Wilfrid Keller. Factors of generalized Fermat numbers. Mathematics of Computation, 64(209):397–405, 1995. doi:10.2307/2153343.pl
    dc.description.referencesRichard K. Guy. Unsolved Problems in Number Theory. Problem Books in Mathematics. Springer, third edition, 2004. doi:10.1007/978-0-387-26677-0.pl
    dc.description.referencesArtur Korniłowicz. Elementary number theory problems. Part IV. Formalized Mathematics, 30(3):223–228, 2022. doi:10.2478/forma-2022-0017.pl
    dc.description.referencesArtur Korniłowicz. Elementary number theory problems. Part XIV – Diophantine equations. Formalized Mathematics, 32(1):47–63, 2024. doi:10.2478/forma-2024-0004.pl
    dc.description.referencesMichal Krizek, Florian Luca, and Lawrence Somer. Factors of Fermat numbers. In 17 Lectures on Fermat Numbers: From Number Theory to Geometry, pages 70–79. Springer New York, 2001. doi:10.1007/978-0-387-21850-2_7.pl
    dc.description.referencesLouis J. Mordell. Diophantine Equations. Academic Press, 1969.pl
    dc.description.referencesAdam Naumowicz. Elementary number theory problems. Part I. Formalized Mathematics, 28(1):115–120, 2020. doi:10.2478/forma-2020-0010.pl
    dc.description.referencesAdam Naumowicz. Dataset description: Formalization of elementary number theory in Mizar. In Christoph Benzmuller and Bruce R. Miller, editors, Intelligent Computer Mathematics – 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings, volume 12236 of Lecture Notes in Computer Science, pages 303–308. Springer, 2020. doi:10.1007/978-3-030-53518-6_22.pl
    dc.description.referencesKarol Pąk. Elementary number theory problems. Part XVI. Formalized Mathematics, 32 (1):203–212, 2024. doi:10.2478/forma-2024-0017.pl
    dc.description.referencesWacław Sierpiński. Elementary Theory of Numbers. PWN, Warsaw, 1964.pl
    dc.description.referencesWacław Sierpiński. Teoria liczb. Instytut Matematyczny Polskiej Akademii Nauk, 1950. In Polish.pl
    dc.description.referencesWacław Sierpiński. 250 Problems in Elementary Number Theory. Elsevier, 1970.pl
    dc.identifier.eissn1898-9934-
    dc.description.volume33pl
    dc.description.issue1pl
    dc.description.firstpage245pl
    dc.description.lastpage265pl
    dc.identifier.citation2Formalized Mathematicspl
    dc.identifier.orcid0000-0002-7099-1669-
    Występuje w kolekcji(ach):Artykuły naukowe (WInf)
    Formalized Mathematics, 2025, Volume 33, Issue 1

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    Elementary_Number_Theory_Problems._Part_XIX.pdf332,29 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


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