[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Open Access

Basel Problem – Preliminaries

Artur Korniłowicz
Korniłowicz, Artur
 and 
Karol Pąk
Pąk, Karol
   | Sep 23, 2017
[object Object]'s Cover Image
About this article
Previous Article
Next Article
Cite
Published Online: Sep 23, 2017
Page range: 141 - 147
Received: Jun 27, 2017
DOI: https://doi.org/10.1515/forma-2017-0013
Keywords
© 2017 Artur Korniłowicz et al., published by De Gruyter Open
This work is licensed under a Creative Commons Attribution Share-Alike 4.0 License.

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.

eISSN:
1898-9934
ISSN:
1426-2630
Language:
English
Publication timeframe:
Volume Open
Journal Subjects:
Computer Sciences, Computer Sciences, other, Mathematics, General Mathematics
Journal RSS Feed