Basel Problem – Preliminaries

Basel Problem – Preliminaries

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.

Bibliographic Details
Main Authors: Korniłowicz Artur, Pąk Karol
Format: Article
Language:English
Published: Sciendo 2017-07-01
Series:Formalized Mathematics
Subjects:
basel problem
11m06
03b35
Online Access:https://doi.org/10.1515/forma-2017-0013
id doaj-c1435ca055e04f2b9422e89dd4caa79a
record_format Article
spelling doaj-c1435ca055e04f2b9422e89dd4caa79a2021-09-05T20:45:04ZengSciendoFormalized Mathematics1426-26301898-99342017-07-0125214114710.1515/forma-2017-0013forma-2017-0013Basel Problem – PreliminariesKorniłowicz Artur0Pąk Karol1Institute of Informatics, University of Białystok, PolandInstitute of Informatics, University of Białystok, PolandIn 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.https://doi.org/10.1515/forma-2017-0013basel problem11m0603b35
collection DOAJ
language English
format Article
sources DOAJ
author Korniłowicz Artur
Pąk Karol
spellingShingle Korniłowicz Artur
Pąk Karol
Basel Problem – Preliminaries
Formalized Mathematics
basel problem
11m06
03b35
author_facet Korniłowicz Artur
Pąk Karol
author_sort Korniłowicz Artur
title Basel Problem – Preliminaries
title_short Basel Problem – Preliminaries
title_full Basel Problem – Preliminaries
title_fullStr Basel Problem – Preliminaries
title_full_unstemmed Basel Problem – Preliminaries
title_sort basel problem – preliminaries
publisher Sciendo
series Formalized Mathematics
issn 1426-2630
1898-9934
publishDate 2017-07-01
description 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.
topic basel problem
11m06
03b35
url https://doi.org/10.1515/forma-2017-0013
work_keys_str_mv AT korniłowiczartur baselproblempreliminaries
AT pakkarol baselproblempreliminaries
_version_ 1717784573256925184

Similar Items