Guillera, J. Ramanujan J (2008) 15: 219. doi:10.1007/s11139-007-9074-0
We prove, by the WZ-method, some hypergeometric identities which relate ten extended Ramanujan type series to simpler hypergeometric series. The identities we are going to prove are valid for all the values of a parameter a when they are convergent. Sometimes, even if they do not converge, they are valid if we consider these identities as limits.
Ramanujan series Hypergeometric identities WZ-method