REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/6281
Tytuł: Basel Problem – Preliminaries
Autorzy: Korniłowicz, Artur
Pąk, Karol
Słowa kluczowe: Basel problem
Data wydania: 2017
Data dodania: 8-lut-2018
Wydawca: DeGruyter Open
Źródło: Formalized Mathematics, Volume 25, Issue 2, Pages 141–147
Abstrakt: SummaryIn the article we formalize in the Mizar system [4] preliminary facts needed to prove the Basel problem [7, 1]. Facts that are independent from the notion of structure are included here.
Afiliacja: Korniłowicz Artur - Institute of Informatics, University of Białystok, Poland
Pąk Karol - Institute of Informatics, University of Białystok, Poland
URI: http://hdl.handle.net/11320/6281
DOI: 10.1515/forma-2017-0013
ISSN: 1426-2630
e-ISSN: 1898-9934
Typ Dokumentu: Article
Występuje w kolekcji(ach):Artykuły naukowe (WMiI)
Formalized Mathematics, 2017, Volume 25, Issue 2

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
forma-2017-0013.pdf303,94 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


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