2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/76890This paper argues that automated proofs of identities for non-terminating hypergeometric series are feasible by a combination of Zeilberger's algorithm and asymptotic estimates. For two analogues of Saalschütz' summation formula in the non-terminating case this is illustrated.12 pagesClassical Analysis and ODEs33C20; 68Q40text