Przejdź do menu głównego
Przejdź do treści
PL
|
EN
Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
test
PL
EN
BibTeX
PN-ISO 690:2012
Chicago
Chicago (Autor-Data)
Harvard
ACS
ACS (bez tytułu art.)
IEEE
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Artykuł - szczegóły
Narzędzia
PL
EN
BibTeX
PN-ISO 690:2012
Chicago
Chicago (Autor-Data)
Harvard
ACS
ACS (bez tytułu art.)
IEEE
Adres strony
Kopiuj
Czasopismo
Formalized Mathematics
2017
|
25
|
2
| 141-147
Tytuł artykułu
Basel Problem – Preliminaries
Autorzy
Artur Korniłowicz
,
Karol Pąk
Treść / Zawartość
Pełne teksty:
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
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.
Słowa kluczowe
EN
Basel problem
Kategorie tematyczne
03B35: Mechanization of proofs and logical operations
11M06: ζ ( s ) and L ( s , χ )
Wydawca
De Gruyter Open
Czasopismo
Formalized Mathematics
Rocznik
2017
Tom
25
Numer
2
Strony
141-147
Opis fizyczny
Daty
wydano
2017-07-01
otrzymano
2017-06-27
online
2017-09-23
Twórcy
autor
Artur Korniłowicz
, ,
autor
Karol Pąk
, ,
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
DOI
10.1515/forma-2017-0013
Identyfikator YADDA
bwmeta1.element.doi-10_1515_forma-2017-0013
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.