REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/6282
Tytuł: Basel Problem
Autorzy: Pąk, Karol
Korniłowicz, Artur
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 149–155
Abstrakt: SummaryA rigorous elementary proof of the Basel problem [6, 1] ∑n=1∞1n2=π26 is formalized in the Mizar system [3]. This theorem is item #14 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/.
Afiliacja: Pąk Karol - Institute of Informatics, University of Białystok, Poland
Korniłowicz Artur - Institute of Informatics, University of Białystok, Poland
URI: http://hdl.handle.net/11320/6282
DOI: 10.1515/forma-2017-0014
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-0014.pdf322,47 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


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