WZ proofs of Ramanujan-type series (via $_2F_1$ evaluations)

Abstract

We use Zeilberger's algorithm for proving some identities of Ramanujan-type via $_2F_1$ evaluations.