An algorithmic proof theory for hypergeometric (ordinary and ``$q$) multisum/integral identities

DOI10.1007/BF02100618zbMath0739.05007OpenAlexW2018339436MaRDI QIDQ811594

Publication date: 1992

Published in: Inventiones Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/144006

zbMATH Keywords

recurrence relation identity hypergeometric holonomic Mehta-Dyson integrals multisum

Mathematics Subject Classification ID

Factorials, binomial coefficients, combinatorial functions (05A10) Combinatorial identities, bijective combinatorics (05A19) (q)-calculus and related topics (05A30) Binomial coefficients; factorials; (q)-identities (11B65) Additive difference equations (39A10) Hypergeometric functions (33C99)

Related Items

q-Analogues of some supercongruences related to Euler numbers, Proof of Andrews' conjecture on a₄φ₃summation, Unnamed Item, Rational function certification of multisum/integral/“𝑞” identities, A simple proof of higher order Turán inequalities for Boros-Moll sequences, The log-concavity of Kazhdan-Lusztig polynomials of thagomizer matroids, Stability Problems on D-finite Functions, Representation of hypergeometric products of higher nesting depths in difference rings, Two $q$-operational equations and Hahn polynomials, Polynomial reduction for holonomic sequences and applications in $\pi$-series and congruences, Peacock patterns and resurgence in complex Chern-Simons theory, Proof of conjectures of Sun on double basic hypergeometric sums, Telescopers for differential forms with one parameter, WZ-style certification and sister celine's technique for abel-type sums, Separating invariants for the basic 𝔾ₐ-actions, A q-analogue of a curious supercongruence of Guillera and Zudilin, 2-Log-Concavity of the Boros–Moll Polynomials, An elimination lemma for algebras with PBW bases, The $C$-polynomial of a knot, Some Homological Properties of SkewPBWExtensions, A Computer Proof of Moll’s Log-Concavity Conjecture, Formal residue and computer-assisted proofs of combinatorial identities, Some arithmetical restatements of the four color conjecture, The Abel Lemma and the $q$-Gosper Algorithm, A new proof of the M-R-R conjecture-including a generalization, A q-congruence involving the Jacobi symbol, Proof of a basic hypergeometric supercongruence modulo the fifth power of a cyclotomic polynomial, Some variations of a ‘divergent’ Ramanujan-type q-supercongruence, Some q-congruences on double basic hypergeometric sums, Creative Telescoping for Holonomic Functions, Simplifying Multiple Sums in Difference Fields, Extensions of the AZ-Algorithm and the Package MultiIntegrate, Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation, On the quantum $K$-theory of the quintic, From integrals to multi-sum identities, Analysis of the gift exchange problem, $k$-free recurrences of double hypergeometric terms, On the set of zero coefficients of a function satisfying a linear differential equation, Binomial identities -- combinatorial and algorithmic aspects, $q$-holonomic formulas for colored HOMFLY polynomials of 2-bridge links, The 3D index of an ideal triangulation and angle structures, A $q$-analogue of the (L.2) supercongruence of van Hamme, A $q$-analogue of the (J.2) supercongruence of van Hamme, Disturbing the Dyson conjecture, in a generally GOOD way, The colored Jones function is $q$-holonomic, Telescoping in the context of symbolic summation in Maple, Multiple binomial sums, Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory, Constructing minimal telescopers for rational functions in three discrete variables, Parameter augmentation for basic hypergeometric series. II, Some open problems related to creative telescoping, A two-line algorithm for proving $q$-hypergeometric identities, Irreducibility of $q$-difference operators and the knot $7_{4}$, $q$-hypergeometric solutions of $q$-difference equations, A representation theorem for ($q$-)holonomic sequences, Fast computation of the $N$-th term of a $q$-holonomic sequence and applications, Proof of some $q$-supercongruences modulo the fourth power of a cyclotomic polynomial, Subresultants of $(x-\alpha)^m$ and $(x-\beta)^n$, Jacobi polynomials and complexity, A symmetric generalization of an identity of Andrews and Yee, A direct algorithm to construct the minimal $Z$-pairs for rational functions., The extended Zeilberger algorithm with parameters, A new elementary algorithm for proving $q$-hypergeometric identities, \texttt{qMultiSum} -- a package for proving $q$-hypergeometric multiple summation identities, $q$-supercongruences modulo the fourth power of a cyclotomic polynomial via creative microscoping, A pretty binomial identity, A diagrammatic approach to the AJ conjecture, When does Zeilberger's algorithm succeed?, A symbolic summation approach to Feynman integral calculus, Linear independence of dilogarithmic values, The colored HOMFLYPT function is q-holonomic, DIFFERENCE AND DIFFERENTIAL EQUATIONS FOR THE COLORED JONES FUNCTION, Height gap conjectures, $D$-finiteness, and a weak dynamical Mordell-Lang conjecture, Gevrey series in quantum topology, Residues and telescopers for bivariate rational functions, A combinatorial partition of Mersenne numbers arising from spectroscopy, Summation theory. II: Characterizations of $R {\Pi}{\Sigma}^{\ast}$-extensions and algorithmic aspects, Minimal representations and algebraic relations for single nested products, The quasi-holonomic ansatz and restricted lattice walks, A family of identities related to zero-sum and team games, Proof of a generalization of the (C.2) supercongruence of Van Hamme, The Cauchy operator for basic hypergeometric series, Algorithms for $q$-hypergeometric summation in computer algebra, How to Generate All Possible Rational Wilf-Zeilberger Pairs?, On the existence of telescopers for mixed hypergeometric terms, Applicability of the $q$-analogue of Zeilberger's algorithm, Sharp upper bounds for the orders of the recurrences output by the Zeilberger and $q$-Zeilberger algorithms, Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms, Multibasic and mixed hypergeometric Gosper-type algorithms, On the existence of telescopers for rational functions in three variables, The concavity and convexity of the Boros-Moll sequences, Rational dynamical systems, $S$-units, and $D$-finite power series, Recurrence relations and asymptotics of colored Jones polynomials, Summation algorithms for Stirling number identities, Converging to Gosper's algorithm, An Ansatz for the asymptotics of hypergeometric multisums, Hypergeometric solutions of linear recurrences with polynomial coefficients, A symbolic computation approach to a problem involving multivariate Poisson distributions, An algorithm for deciding the summability of bivariate rational functions, A computer proof of a polynomial identity implying a partition theorem of Göllnitz, A new Sigma approach to multi-summation, Well-poised hypergeometric series for Diophantine problems of zeta values, Markov's transformation of series and the WZ method, A telescoping method for double summations, The $\mathfrak {sl}_{3}$ Jones polynomial of the trefoil: a case study of $q$-holonomic sequences, On recurrences for Ising integrals, Efficient $q$-integer linear decomposition of multivariate polynomials, Computing periods of rational integrals, Explicit expressions for the moments of the size of an $(s,\, s+1)$-core partition with distinct parts, Parameter augmentation and the $q$-Gosper algorithm, A tree expansion formula of a homology intersection number on the configuration space $\mathcal{M}_{0,n} $, THE NON-COMMUTATIVE A-POLYNOMIAL OF TWIST KNOTS, Report from the open problems session at OPSFA13, $G$-functions and multisum versus holonomic sequences, Vectors of type II Hermite-Padé approximations and a new linear independence criterion, The 2-log-convexity of the Apéry Numbers, Proof of a generalization of the (B.2) supercongruence of Van Hamme through a $q$-microscope, $q$-analogues of Dwork-type supercongruences, The $q$-WZ method for infinite series, Rogers-Ramanujan computer searches, Rational approximations for values of derivatives of the Gamma function, Common $q$-analogues of some different supercongruences, Quantum knot invariants, A $q$-analogue of Zhang's binomial coefficient identities, Linear differential equations as a data structure, Center conditions. II: Parametric and model center problems, On the order of the recurrence produced by the method of creative telescoping, Elimination of variables in linear solvable polynomial algebras and $\delta$-holonomicity, Experimental evidence for the Volume Conjecture for the simplest hyperbolic non-2-bridge knot, Advanced determinant calculus: a complement, A manifesto for the computational method, MultInt, a MAPLE package for multiple integration by the WZ method, On the structure of multivariate hypergeometric terms., Eliminations in Weyl algebras and identities.

Uses Software

DEtools

Cites Work

An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities