Proofs of some Ramanujan series for $1/\pi$ using a Zeilberger's program

TL;DR

This paper demonstrates elementary proofs of Ramanujan-type series for 1/π using terminating identities, showcasing a computational approach to establish these mathematical series.

Contribution

It introduces a method employing Zeilberger's algorithm to prove Ramanujan series for 1/π in a straightforward, elementary manner.

Findings

Elementary proofs of Ramanujan series achieved

Use of Zeilberger's algorithm for series proof

Simplification of complex identities

Abstract

We show with some examples how to prove some Ramanujan-type series for $1/\pi$ in an elementary way by using terminating identities.