<abstract xmlns="http://www.w3.org/1999/xhtml"><p>In the article we formalize in the Mizar system [<xref ref-type="bibr" rid="j_forma-2017-0013_ref_004_w2aab3b7b5b1b6b1ab1ab4Aa">4</xref>] preliminary facts needed to prove the Basel problem [<xref ref-type="bibr" rid="j_forma-2017-0013_ref_007_w2aab3b7b5b1b6b1ab1ab7Aa">7</xref>, <xref ref-type="bibr" rid="j_forma-2017-0013_ref_001_w2aab3b7b5b1b6b1ab1ab1Aa">1</xref>]. Facts that are independent from the notion of structure are included here.</p></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.

Basel Problem – Preliminaries

Formalized Mathematics

This work is licensed under a Creative Commons Attribution Share-Alike 4.0 License.

{"article-title":"Basel Problem \u2013 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...

Basel Problem – Preliminaries

Data publikacji: 23 wrz 2017

Zakres stron: 141 - 147

Otrzymano: 27 cze 2017

DOI: https://doi.org/10.1515/forma-2017-0013

Słowa kluczowe
Basel problem

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

Basel Problem – Preliminaries

Data publikacji: 23 wrz 2017

Zakres stron: 141 - 147

Otrzymano: 27 cze 2017

DOI: https://doi.org/10.1515/forma-2017-0013

Słowa kluczoweBasel problem

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

Słowa kluczowe
Basel problem