Basel Problem – Preliminaries
Formalized Mathematics (2017)
- Volume: 25, Issue: 2, page 141-147
- ISSN: 1426-2630
Access Full Article
top
Abstract
topHow 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 ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.