Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Ograniczanie wyników

Czasopisma help

  1. 2 Formalized Mathematics

Autorzy help

  1. 2 Korniłowicz A.

  2. 2 Pąk K.

Lata help

  1. 2 2017

Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 2

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych:  Basel problem
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

Basel Problem – Preliminaries

100%
Korniłowicz A., Pąk K.
Formalized Mathematics
|
2017
|
tom 25
|
nr 2
141-147
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.
2
Content available remote

Basel Problem

100%
Pąk K., Korniłowicz A.
Formalized Mathematics
|
2017
|
tom 25
|
nr 2
149-155
EN
A rigorous elementary proof of the Basel problem [6, 1] ∑n=1∞1n2=π26 $$\sum\nolimits_{n = 1}^\infty {{1 \over {n^2 }} = {{\pi ^2 } \over 6}} $$ is formalized in the Mizar system [3]. This theorem is item #14 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/.
first rewind previous Strona / 1 next fast forward last
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ć.