Proof of Chudnovskys' series for 1/π

2020/03/14 by Jesús Guillera, Guillera, Jesús
Mathematics · #Advanced Mathematical Identities #Analytic Number Theory Research #Advanced Combinatorial Mathematics

paper · doi:10.48550/arxiv.2003.06668

Abstract

We prove rational alternating Ramanujan-type series of level 1 discovered by the brothers David and Gregory Chudnovky, by using a method of the author. We have carried out the computations with Maple (a symbolic software for mathematics).

Related

• Chudnovsky's formula for 1/π revisited
• On a Ramanujan-type series associated with the Heegner number 163
• An extension of the Chudnovsky algorithm
• Proof of a rational Ramanujan-type series for 1/π. The fastest one in level 3
• Proofs of some Ramanujan series for 1/π using a Zeilberger's program