2019/11/10 by Guillera, Jesús
#FOS: Mathematics #Number Theory (math.NT)
paper · doi:10.48550/arxiv.1911.03968
First we give general formulas for proving real or complex Ramanujan series for 1/π. Then, as an example, we apply them for providing complete proofs of the fastest series for 1/π due to Ramanujan using Russell and Weber modular polynomials. We recommend the reader to use a Maple program which is in the web of the author for automatically proving any Ramanujan-type series for 1/π.