REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

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

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/14673
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorCarneiro, Mario-
    dc.date.accessioned2023-02-15T12:11:40Z-
    dc.date.available2023-02-15T12:11:40Z-
    dc.date.issued2022-
    dc.identifier.citationFormalized Mathematics, Volume 30, Issue 3, Pages 209-210pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/14673-
    dc.description.abstracthis is Erd ̋os’s proof of the divergence of the sum of primereciprocals, using the Mizar system [2], [3], as reported in “Proofs from THEBOOK”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.subjectprimespl
    dc.subjectasymptoticspl
    dc.titleThe Divergence of the Sum of Prime Reciprocalspl
    dc.typeArticlepl
    dc.rights.holder© 2022 The Author(s)pl
    dc.rights.holderCC BY-SA 3.0 licensepl
    dc.identifier.doi10.2478/forma-2022-0015-
    dc.description.AffiliationMario Carneiro - Carnegie Mellon University, Pittsburgh PA, USApl
    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 andbeyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Vol-ker 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.referencesAdam Grabowski. Sequences of prime reciprocals. Preliminaries. Formalized Mathematics,26(1):69–79, 2018. doi:10.2478/forma-2018-0006.pl
    dc.description.referencesChristoph Schwarzweller. Renamings and a condition-free formalization of Kronecker’s construction. Formalized Mathematics, 28(2):129–135, 2020. doi:10.2478/forma-2020-0012.pl
    dc.identifier.eissn1898-9934-
    dc.description.volume30pl
    dc.description.issue3pl
    dc.description.firstpage209pl
    dc.description.lastpage210pl
    dc.identifier.citation2Formalized Mathematicspl
    Występuje w kolekcji(ach):Formalized Mathematics, 2022, Volume 30, Issue 3

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    10.2478_forma-2022-0015.pdf223,52 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


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