PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2016 | 24 | 4 | 275-280
Tytuł artykułu

Leibniz Series forπ

Autorzy
Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
In this article we prove the Leibniz series for π which states that π4=∑n=0∞(−1)n2⋅n+1. $${\pi \over 4} = \sum\limits_{n = 0}^\infty {{{\left( { - 1} \right)^n } \over {2 \cdot n + 1}}.} $$ The formalization follows K. Knopp [8], [1] and [6]. Leibniz’s Series for Pi is item #26 from the “Formalizing 100 Theorems” list maintained by Freek Wiedijk at http://www.cs.ru.nl/F.Wiedijk/100/.
Słowa kluczowe
Wydawca
Rocznik
Tom
24
Numer
4
Strony
275-280
Opis fizyczny
Daty
wydano
2016-12-01
otrzymano
2016-10-18
online
2017-02-23
Twórcy
autor
  • Institute of Informatics, University of Białystok, Ciołkowskiego 1M, 15-245 Białystok,
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.doi-10_1515_forma-2016-0023
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ć.