On WZ-pairs which prove Ramanujan series
arXiv:0904.0406 · doi:10.1007/s11139-010-9238-1
Abstract
The known WZ-proofs for Ramanujan-type series related to gave us the insight to develop a new proof strategy based on the WZ-method. Using this approach we are able to find more generalizations and discover first WZ-proofs for certain series of this type.
12 pages (preprint) + 1 page (addendum). The addendum (A Maple program) is not in the Journal reference