REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2024, Volume 32, 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/17793
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorPąk, Karol-
    dc.date.accessioned2025-01-10T07:57:37Z-
    dc.date.available2025-01-10T07:57:37Z-
    dc.date.issued2024-
    dc.identifier.citationFormalized Mathematics, Volume 32, Issue 1, Pages 203–212pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/17793-
    dc.description.abstractIn this paper, we continue the work on formalizing problems from “250 Problems in Elementary Number Theory” by Wacław Sierpiński, using Mizar proof assistant. The formalization covers problems 63, 65, 66, 67, 68, 93, 95, 96, 102, and 103.pl
    dc.language.isoenpl
    dc.publisherDeGruyter Openpl
    dc.rightsAttribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)pl
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/3.0/pl
    dc.subjectnumber theorypl
    dc.subjectprime numberpl
    dc.subjectarithmetic progressionpl
    dc.titleElementary Number Theory Problems. Part XVIpl
    dc.typeArticlepl
    dc.rights.holder© 2024 The Author(s)pl
    dc.rights.holderCC BY-SA 3.0 licensepl
    dc.identifier.doi10.2478/forma-2024-0017-
    dc.description.AffiliationFaculty of Computer Science, University of Białystok, Polandpl
    dc.description.referencesMartin Aigner and Günter M. Ziegler. Proofs from THE BOOK. Springer-Verlag, Berlin Heidelberg New York, 2004.pl
    dc.description.referencesGrzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pąk, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Computer Science, pages 261–279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. doi:10.1007/978-3-319-20615-8_17.pl
    dc.description.referencesGrzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pąk. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.pl
    dc.description.referencesJoseph Bertrand. Mémoire sur le nombre de valeurs que peut prendre une fonction quand on y permute les lettres qu’elle renferme. Journal de l’École Royale Polytechnique, 18 (30):123–140, 1845.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.referencesArtur Korniłowicz. Elementary number theory problems. Part IX. Formalized Mathematics, 31(1):161–169, 2023. doi:10.2478/forma-2023-0015.pl
    dc.description.referencesArtur Korniłowicz and Adam Naumowicz. Niven’s theorem. Formalized Mathematics, 24 (4):301–308, 2016. doi:10.1515/forma-2016-0026.pl
    dc.description.referencesArtur Korniłowicz and Dariusz Surowik. Elementary number theory problems. Part II. Formalized Mathematics, 29(1):63–68, 2021. doi:10.2478/forma-2021-0006.pl
    dc.description.referencesArtur Korniłowicz and Rafał Ziobro. Elementary number theory problems. Part XIII. Formalized Mathematics, 32(1):1–8, 2024. doi:10.2478/forma-2024-0001.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 Benzmüller 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.referencesGeorg Pὸlya. Zur arithmetischen Untersuchung der Polynome. Mathematische Zeitschrift, 1(1):142–148, 1918.pl
    dc.description.referencesMarco Riccardi. Pocklington’s theorem and Bertrand’s postulate. Formalized Mathematics, 14(2):47–52, 2006. doi:10.2478/v10037-006-0007-y.pl
    dc.description.referencesMarco Riccardi. Ramsey’s theorem. Formalized Mathematics, 16(2):203–205, 2008. doi:10.2478/v10037-008-0026-y.pl
    dc.description.referencesWacław Sierpiński. Elementary Theory of Numbers. PWN, Warsaw, 1964.pl
    dc.description.referencesWacław Sierpiński. 250 Problems in Elementary Number Theory. Elsevier, 1970.pl
    dc.description.referencesPafnuty Tchebychev. Mémoire sur les nombres premiers. Journal de math´ematiques pures et appliqu´ees, 1:366–390, 1852.pl
    dc.identifier.eissn1898-9934-
    dc.description.volume32pl
    dc.description.issue1pl
    dc.description.firstpage203pl
    dc.description.lastpage212pl
    dc.identifier.citation2Formalized Mathematicspl
    dc.identifier.orcid0000-0002-7099-1669-
    Występuje w kolekcji(ach):Formalized Mathematics, 2024, Volume 32, Issue 1

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    Elementary-Number-Theory-Problems-Part-XVI.pdf295,78 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


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