Proofs of some Ramanujan series for 1/π using a program due to Zeilberger | Publicación