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/19737
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorGrabowski, Adam-
    dc.date.accessioned2026-02-02T12:02:20Z-
    dc.date.available2026-02-02T12:02:20Z-
    dc.date.issued2025-
    dc.identifier.citationFormalized Mathematics, Volume 33, Issue 1, Pages 217-229pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/19737-
    dc.description.abstractIn this paper another seven problems from Wacław Sierpiński’s book “250 Problems in Elementary Number Theory” are formalized, using the Mizar formalism, namely: 53, 61, 81, 90, 100, 156, and 167.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 of divisorspl
    dc.subjectFermat primepl
    dc.subjectMersenne primepl
    dc.titleElementary Number Theory Problems. Part XVIIIpl
    dc.typeArticlepl
    dc.rights.holder2025 The Author(s)pl
    dc.rights.holderCC BY-SA 4.0 licensepl
    dc.identifier.doi10.2478/forma-2025-0017-
    dc.description.AffiliationFaculty of Computer Science, University of Białystok, Polandpl
    dc.description.referencesKenichi Arai and Hiroyuki Okazaki. Properties of primes and multiplicative group of a field. Formalized Mathematics, 17(2):151–155, 2009. doi:10.2478/v10037-009-0017-7.pl
    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.referencesJohn Horton Conway and R.K. Guy. The Book of Numbers. Springer-Verlag, 1996.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.referencesAdam Grabowski. Elementary number theory problems. Part VI. Formalized Mathematics, 30(3):235–244, 2022. doi:10.2478/forma-2022-0019.pl
    dc.description.referencesAdam Grabowski. Elementary number theory problems. Part XII – primes in arithmetic progression. Formalized Mathematics, 31(1):277–286, 2023. doi:10.2478/forma-2023-0022.pl
    dc.description.referencesAdam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.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.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. 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.referencesMarco Riccardi. The perfect number theorem and Wilson’s theorem. Formalized Mathematics, 17(2):123–128, 2009. doi:10.2478/v10037-009-0013-y.pl
    dc.description.referencesColin Rothgang, Artur Korniłowicz, and Florian Rabe. A new export of the Mizar Mathematical Library. In Fairouz Kamareddine and Claudio Sacerdoti Coen, editors, Intelligent Computer Mathematics, pages 205–210, Cham, 2021. Springer International Publishing. doi:10.1007/978-3-030-81097-9_17.pl
    dc.description.referencesAndrzej Schinzel and Wacław Sierpiński. Sur certaines hypoth`eses concernant les nombres premiers. Acta Arithmetica, 4(3):185–208, 1958.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.description.referencesRafał Ziobro. On subnomials. Formalized Mathematics, 24(4):261–273, 2016. doi:10.1515/forma-2016-0022.pl
    dc.description.referencesRafał Ziobro. Application of complex classes to number theory. Formalized Mathematics, 33(1):207–216, 2025. doi:10.2478/forma-2025-0016.pl
    dc.identifier.eissn1898-9934-
    dc.description.volume33pl
    dc.description.issue1pl
    dc.description.firstpage217pl
    dc.description.lastpage229pl
    dc.identifier.citation2Formalized Mathematicspl
    dc.identifier.orcid0000-0001-5026-3990-
    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_XVIII.pdf290,2 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


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