Leibniz Series forπ

• Autorzy: Karol Pąk
• 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

EN

π approximation; Leibniz theorem; Leibniz series

Kategorie tematyczne

• 03B35: Mechanization of proofs and logical operations
• 40G99: None of the above, but in this section

• Wydawca: De Gruyter Open
• Czasopismo: Formalized Mathematics
• Rocznik: 2016
• Tom: 24
• Numer: 4
• Strony: 275-280

Daty

wydano

2016-12-01

otrzymano

2016-10-18

online

2017-02-23

Twórcy

autor

Karol Pąk

• Institute of Informatics, University of Białystok, Ciołkowskiego 1M, 15-245 Białystok,

Identyfikatory

DOI

10.1515/forma-2016-0023