A fast algorithm for proving terminating hypergeometric identities

DOI10.1016/0012-365X(90)90120-7zbMath0701.05001OpenAlexW2122300900MaRDI QIDQ913796

Publication date: 1990

Published in: Discrete Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0012-365x(90)90120-7

zbMATH Keywords

algorithm identities terminating hypergeometric series

Mathematics Subject Classification ID

Factorials, binomial coefficients, combinatorial functions (05A10) Combinatorial identities, bijective combinatorics (05A19) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items

Efficient rational creative telescoping, Riordan arrays and combinatorial sums, AN EFFICIENT ALGORITHM FOR DERIVING SUMMATION IDENTITIES FROM MUTUAL RECURRENCES, Bieberbach's conjecture, the de Branges and Weinstein functions and the Askey-Gasper inequality, Formulas for generalized two-qubit separability probabilities, Binomial identities -- combinatorial and algorithmic aspects, Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation, Invariance of bipartite separability and PPT-probabilities over Casimir invariants of reduced states, Disturbing the Dyson conjecture, in a generally GOOD way, Current trends in asymptotics: Some problems and some solutions, COMPUTER PROOFS OF MATRIX PRODUCT IDENTITIES, Solving parameterized linear difference equations in terms of indefinite nested sums and products, Trusting computations: a mechanized proof from partial differential equations to actual program, Generalized exponential sums and the power of computers, Some open problems related to creative telescoping, Padé approximations to the logarithm. III: Alternative methods and additional results, An algorithmic approach to the $q$-summability problem of bivariate rational functions, Irreducibility of $q$-difference operators and the knot $7_{4}$, Generalized two-qubit whole and half Hilbert-Schmidt separability probabilities, Rational function certification of multisum/integral/“𝑞” identities, $q$-hypergeometric solutions of $q$-difference equations, Reduction-based creative telescoping for Fuchsian D-finite functions, Representations of orthogonal polynomials, Rademacher-type formulas for restricted partition and overpartition functions, Convolutions of Liouvillian sequences, (--1)-enumeration of plane partitions with complementation symmetry, Interview with Peter Paule, Lattice walks ending on a coordinate hyperplane avoiding backtracking and repeats, \texttt{qMultiSum} -- a package for proving $q$-hypergeometric multiple summation identities, Trading order for degree in creative telescoping, The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients, Polynomial reduction for holonomic sequences and applications in $\pi$-series and congruences, A symbolic summation approach to Feynman integral calculus, Computer proofs of a new family of harmonic number identities., No-neighbours recurrence schemes for space-time Green’s functions on a 3D simple cubic lattice, Generalization of a quadratic transformation formula due to Gauss, Identities for families of orthogonal polynomials and special functions, Time-dependent solutions of the spatially implicit neutral model of biodiversity, A holonomic systems approach to special functions identities, The method of creative telescoping, On the existence of telescopers for mixed hypergeometric terms, Sharp upper bounds for the orders of the recurrences output by the Zeilberger and $q$-Zeilberger algorithms, Computer Algebra, Power Series and Summation, Multibasic and mixed hypergeometric Gosper-type algorithms, On the positivity of the Gillis-Reznick-Zeilberger rational function, On identities of the Rogers-Ramanujan type, Summation algorithms for Stirling number identities, Converging to Gosper's algorithm, Identities in search of identity, On the length of integers in telescopers for proper hypergeometric terms, Harmonic number identities via the Newton-Andrews method, An algorithm for deciding the summability of bivariate rational functions, A new Sigma approach to multi-summation, Asymptotics of the $L^2$ norm of derivatives of OPUC, Rational Functions Certify Combinatorial Identities, Rationality of the Möbius function of a composition poset, On recurrences for Ising integrals, The dimensional recurrence and analyticity method for multicomponent master integrals: using unitarity cuts to construct homogeneous solutions, Report from the open problems session at OPSFA13, How likely is Polya's drunkard to stay in $x\geq y\geq z$?, The method of differentiating under the integral sign, The $q$-WZ method for infinite series, Rogers-Ramanujan computer searches, Hypercontractive inequalities via SOS, and the Frankl--Rödl graph, Simultaneous bifurcation of limit cycles and critical periods, ON THE WRAPPING CORRECTION TO SINGLE MAGNON ENERGY IN TWISTED ${\mathcal N}=4$ SYM, Fully Packed Loop Models on Finite Geometries, Some summation rules related to the Riordan arrays, The number of centered lozenge tilings of a symmetric hexagon, Computer-assisted proofs of special function identities related to Poisson integrals, Recursions for modified Walsh transforms of some families of Boolean functions, Creative Telescoping for Holonomic Functions, Relativistic Coulomb Integrals and Zeilberger’s Holonomic Systems Approach. I, Loops, matchings and alternating-sign matrices, The number of rhombus tilings of a symmetric hexagon which contain a fixed rhombus on the symmetry axis. II, Advanced determinant calculus: a complement, $q$-rational reduction and $q$-analogues of series for $\pi$, APÉRY LIMITS FOR ELLIPTIC -VALUES, Contiguous Relations and Creative Telescoping, MultInt, a MAPLE package for multiple integration by the WZ method, On Zeilberger's algorithm and its $q$-analogue, On the structure of multivariate hypergeometric terms., An algorithmic proof theory for hypergeometric (ordinary and ``$q$) multisum/integral identities, Degree bounds to find polynomial solutions of parameterized linear difference equations in $\Pi\Sigma$-fields

Cites Work