Basel Problem – Preliminaries
Artur Korniłowicz ; Karol Pąk
Formalized Mathematics, Tome 25 (2017), p. 141-147 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)

In 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.

Publié le : 2017-01-01
EUDML-ID : urn:eudml:doc:288358 
@article{bwmeta1.element.doi-10_1515_forma-2017-0013,
     author = {Artur Korni\l owicz and Karol P\k ak},
     title = {Basel Problem -- Preliminaries},
     journal = {Formalized Mathematics},
     volume = {25},
     year = {2017},
     pages = {141-147},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.doi-10_1515_forma-2017-0013}
}

Artur Korniłowicz; Karol Pąk. Basel Problem – Preliminaries. Formalized Mathematics, Tome 25 (2017) pp. 141-147. http://gdmltest.u-ga.fr/item/bwmeta1.element.doi-10_1515_forma-2017-0013/