A Detailed Proof of the Chudnovsky Formula

Source: arxiv:1809.00533 Authors: Xuanji Li Status: verified Main declarations: Chudnovsky.chudnovskySum_eq_pi_inv Tags: number-theory, pi, chudnovsky, modular-forms, complex-multiplication MSC: 11Y60, 11F03, 33C05