WZ proofs of Ramanujan-type series (via ${}_2{F}_1$ evaluations)

Abstract

We use Zeilberger's algorithm for proving some identities of Ramanujan-type via ${}_2{F}_1$ evaluations.

8 pages + Appendix (new). In the Appendix we prove a rapid formula for the computation of the lemniscate constant