On WZ-pairs which prove Ramanujan series

DOI10.1007/s11139-010-9238-1zbMath1196.33005arXiv0904.0406MaRDI QIDQ993490

Jesús Guillera

Publication date: 20 September 2010

Published in: The Ramanujan Journal (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0904.0406

zbMATH Keywords

hypergeometric series; WZ-method; Ramanujan series for \(1/\pi \)

Mathematics Subject Classification ID

05A10: Factorials, binomial coefficients, combinatorial functions

11B65: Binomial coefficients; factorials; (q)-identities

33C20: Generalized hypergeometric series, ({}_pF_q)

11Y60: Evaluation of number-theoretic constants

33F10: Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.)

Related Items

Proofs of some Ramanujan series for 1/π using a program due to Zeilberger, Using Fourier-Legendre expansions to derive series for \(\frac{1}{\pi}\) and \(\frac{1}{\pi^{2}}\), On the interplay between hypergeometric series, Fourier-Legendre expansions and Euler sums, A method for proving Ramanujan's series for \(1/\pi\), Series for 1/π and π with free parameters, Unnamed Item, How to Generate All Possible Rational Wilf-Zeilberger Pairs?

Uses Software

• EKHAD

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generators of some Ramanujan formulas
• Some binomial series obtained by the WZ-method
• Ramanujan's Series for 1/π: A Survey
• RAMANUJAN'S CLASS INVARIANT λ_n AND A NEW CLASS OF SERIES FOR 1/π
• Rational Functions Certify Combinatorial Identities
• About a New Kind of Ramanujan-Type Series