Proof of Chudnovskys' series for 1/π
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).
0