Basel Problem

Karol Pąk, and Artur Korniłowicz. "Basel Problem." Formalized Mathematics 25.2 (2017): 149-155. <http://eudml.org/doc/288499>.

@article{KarolPąk2017,
abstract = {A rigorous elementary proof of the Basel problem [6, 1] ∑n=1∞1n2=π26 \[\sum \nolimits \_\{n = 1\}^\infty \{\{1 \over \{n^2 \}\} = \{\{\pi ^2 \} \over 6\}\} \] 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/.},
author = {Karol Pąk, Artur Korniłowicz},
journal = {Formalized Mathematics},
keywords = {Basel problem},
language = {eng},
number = {2},
pages = {149-155},
title = {Basel Problem},
url = {http://eudml.org/doc/288499},
volume = {25},
year = {2017},
}

TY - JOUR
AU - Karol Pąk
AU - Artur Korniłowicz
TI - Basel Problem
JO - Formalized Mathematics
PY - 2017
VL - 25
IS - 2
SP - 149
EP - 155
AB - A rigorous elementary proof of the Basel problem [6, 1] ∑n=1∞1n2=π26 \[\sum \nolimits _{n = 1}^\infty {{1 \over {n^2 }} = {{\pi ^2 } \over 6}} \] 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/.
LA - eng
KW - Basel problem
UR - http://eudml.org/doc/288499
ER -