Pages that link to "Item:Q811594"
From MaRDI portal
The following pages link to An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral identities (Q811594):
Displayed 50 items.
- The 3D index of an ideal triangulation and angle structures (Q312441) (← links)
- Multiple binomial sums (Q346550) (← links)
- Irreducibility of \(q\)-difference operators and the knot \(7_{4}\) (Q373635) (← links)
- A representation theorem for (\(q\)-)holonomic sequences (Q386034) (← links)
- The extended Zeilberger algorithm with parameters (Q413409) (← links)
- A pretty binomial identity (Q427171) (← links)
- A symbolic summation approach to Feynman integral calculus (Q432757) (← links)
- Residues and telescopers for bivariate rational functions (Q444428) (← links)
- A combinatorial partition of Mersenne numbers arising from spectroscopy (Q448207) (← links)
- On the existence of telescopers for mixed hypergeometric terms (Q480640) (← links)
- The concavity and convexity of the Boros-Moll sequences (Q490308) (← links)
- Well-poised hypergeometric series for Diophantine problems of zeta values (Q558151) (← links)
- A family of identities related to zero-sum and team games (Q656781) (← links)
- A computer proof of a polynomial identity implying a partition theorem of Göllnitz (Q696795) (← links)
- The \(\mathfrak {sl}_{3}\) Jones polynomial of the trefoil: a case study of \(q\)-holonomic sequences (Q720596) (← links)
- Explicit expressions for the moments of the size of an \((s,\, s+1)\)-core partition with distinct parts (Q730307) (← links)
- Report from the open problems session at OPSFA13 (Q739883) (← links)
- Eliminations in Weyl algebras and identities. (Q817239) (← links)
- Disturbing the Dyson conjecture, in a generally GOOD way (Q855832) (← links)
- Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory (Q863306) (← links)
- The Cauchy operator for basic hypergeometric series (Q931835) (← links)
- Converging to Gosper's algorithm (Q950412) (← links)
- An Ansatz for the asymptotics of hypergeometric multisums (Q950417) (← links)
- A symbolic computation approach to a problem involving multivariate Poisson distributions (Q962002) (← links)
- On recurrences for Ising integrals (Q990763) (← links)
- Parameter augmentation and the \(q\)-Gosper algorithm (Q999087) (← links)
- \(G\)-functions and multisum versus holonomic sequences (Q1011412) (← links)
- The \(q\)-WZ method for infinite series (Q1023261) (← links)
- Rogers-Ramanujan computer searches (Q1023270) (← links)
- A \(q\)-analogue of Zhang's binomial coefficient identities (Q1045080) (← links)
- Hypergeometric solutions of linear recurrences with polynomial coefficients (Q1199820) (← links)
- Binomial identities -- combinatorial and algorithmic aspects (Q1344624) (← links)
- Parameter augmentation for basic hypergeometric series. II (Q1374181) (← links)
- A two-line algorithm for proving \(q\)-hypergeometric identities (Q1378409) (← links)
- \(q\)-hypergeometric solutions of \(q\)-difference equations (Q1381810) (← links)
- A direct algorithm to construct the minimal \(Z\)-pairs for rational functions. (Q1398291) (← links)
- A new elementary algorithm for proving \(q\)-hypergeometric identities (Q1401154) (← links)
- \texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identities (Q1401158) (← links)
- When does Zeilberger's algorithm succeed? (Q1408263) (← links)
- Center conditions. II: Parametric and model center problems (Q1580498) (← links)
- A manifesto for the computational method (Q1603721) (← links)
- \(q\)-holonomic formulas for colored HOMFLY polynomials of 2-bridge links (Q1634841) (← links)
- A \(q\)-analogue of the (L.2) supercongruence of van Hamme (Q1645161) (← links)
- A \(q\)-analogue of the (J.2) supercongruence of van Hamme (Q1645164) (← links)
- Linear independence of dilogarithmic values (Q1703670) (← links)
- The colored HOMFLYPT function is q-holonomic (Q1704074) (← links)
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects (Q1711991) (← links)
- Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms (Q1733306) (← links)
- Markov's transformation of series and the WZ method (Q1775746) (← links)
- Elimination of variables in linear solvable polynomial algebras and \(\delta\)-holonomicity (Q1841819) (← links)