Identities of nonterminating series by Zeilberger's algorithm
Tom H. Koornwinder
Abstract
This 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.
Create a lesson
Related papers
Optimal fractional discrete Hardy inequalities on the half-line
František Štampach, Jakub Waclawek
Capacitary-Distance Hardy Inequality
Yiqun Chen, Jie Xiao, Dachun Yang et al.
Microstructure evolution as a game
Michael Ortiz
Optimal differentiability of isotropic positive definite functions on even-dimensional spheres
Yan Ge
Bilinear Bochner--Riesz Means on the Complex Sphere
S. Bagchi, Md N. Molla, J. Singh et al.
Exact-Support Counterexamples to Euclidean-to-Spherical Transfer of Positive Definiteness in Even Dimensions
Wentao Huang, Haizhang Zhang