WZ proofs of Ramanujan-type series (via ₂F₁ evaluations)

2020/01/22 by Guillera, Jesús
#FOS: Mathematics #Number Theory (math.NT)

paper · doi:10.48550/arxiv.2001.08104

Abstract

We use Zeilberger's algorithm for proving some identities of Ramanujan-type via ₂F₁ evaluations.

Related

• Proofs of some Ramanujan series for 1/π using a Zeilberger's program
• Some binomial series obtained by the WZ-method
• WZ-proofs of "divergent" Ramanujan-type series
• Two-dimensional series evaluations via the elliptic functions of Ramanujan and Jacobi
• The Algorithm Z and Ramanujan's ₁ψ₁ Summation