# Basel Problem – Preliminaries

Formalized Mathematics (2017)

- Volume: 25, Issue: 2, page 141-147
- ISSN: 1426-2630

## Access Full Article

top## Abstract

top## How to cite

topArtur Korniłowicz, and Karol Pąk. "Basel Problem – Preliminaries." Formalized Mathematics 25.2 (2017): 141-147. <http://eudml.org/doc/288358>.

@article{ArturKorniłowicz2017,

abstract = {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.},

author = {Artur Korniłowicz, Karol Pąk},

journal = {Formalized Mathematics},

keywords = {Basel problem},

language = {eng},

number = {2},

pages = {141-147},

title = {Basel Problem – Preliminaries},

url = {http://eudml.org/doc/288358},

volume = {25},

year = {2017},

}

TY - JOUR

AU - Artur Korniłowicz

AU - Karol Pąk

TI - Basel Problem – Preliminaries

JO - Formalized Mathematics

PY - 2017

VL - 25

IS - 2

SP - 141

EP - 147

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

LA - eng

KW - Basel problem

UR - http://eudml.org/doc/288358

ER -

## NotesEmbed ?

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