First we give general formulas for proving real or complex Ramanujan series for \(1/\pi \) . Then, as an example, we apply them for providing complete proofs of the fastest series for \(1/\pi \) due to Ramanujan using Russell and Weber modular polynomials. We recommend the reader to use the Maple code in Guillera (Maple program: automatic proofs of Ramanujan series for \(1/\pi \) using modular equations, https://anamat.unizar.es/jguillera/Maple.html) for automatically proving any Ramanujan-type series for \(1/\pi \) .
