Otwarty dostęp

Basel Problem – Preliminaries

Artur Korniłowicz

Artur Korniłowicz

Institute of Informatics, University of BiałystokPoland
Wyszukaj tego autora
Sciendo|Google Scholar
Korniłowicz, Artur
 oraz 
Karol Pąk

Karol Pąk

Institute of Informatics, University of BiałystokPoland
Wyszukaj tego autora
Sciendo|Google Scholar
Pąk, Karol
  
23 wrz 2017
Basel Problem – Preliminaries's Cover Image
O artykule
Poprzedni artykuł
Następny artykuł
Zacytuj
Pobierz okładkę
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
© 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.

Język:
Angielski
Częstotliwość wydawania:
1 razy w roku
Dziedziny czasopisma:
Informatyka, Informatyka, inne, Matematyka, Matematyka ogólna
Kanał RSS czasopisma