# Basel Problem

Formalized Mathematics (2017)

- Volume: 25, Issue: 2, page 149-155
- ISSN: 1426-2630

## Access Full Article

top## Abstract

top## How to cite

topKarol 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 -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.