Pages that link to "Item:Q913796"
From MaRDI portal
The following pages link to A fast algorithm for proving terminating hypergeometric identities (Q913796):
Displayed 39 items.
- Identities in search of identity (Q688676) (← links)
- How likely is Polya's drunkard to stay in \(x\geq y\geq z\)? (Q751052) (← links)
- The method of differentiating under the integral sign (Q754021) (← links)
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral identities (Q811594) (← links)
- Degree bounds to find polynomial solutions of parameterized linear difference equations in \(\Pi\Sigma\)-fields (Q814893) (← links)
- Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation (Q850522) (← links)
- Disturbing the Dyson conjecture, in a generally GOOD way (Q855832) (← links)
- Padé approximations to the logarithm. III: Alternative methods and additional results (Q874896) (← links)
- Converging to Gosper's algorithm (Q950412) (← links)
- A holonomic systems approach to special functions identities (Q1173698) (← links)
- The method of creative telescoping (Q1176785) (← links)
- The number of centered lozenge tilings of a symmetric hexagon (Q1284471) (← links)
- On Zeilberger's algorithm and its \(q\)-analogue (Q1318445) (← links)
- Riordan arrays and combinatorial sums (Q1336667) (← links)
- Binomial identities -- combinatorial and algorithmic aspects (Q1344624) (← links)
- \(q\)-hypergeometric solutions of \(q\)-difference equations (Q1381810) (← links)
- Representations of orthogonal polynomials (Q1392783) (← links)
- (--1)-enumeration of plane partitions with complementation symmetry (Q1398286) (← links)
- \texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identities (Q1401158) (← links)
- Computer proofs of a new family of harmonic number identities. (Q1415382) (← links)
- The number of rhombus tilings of a symmetric hexagon which contain a fixed rhombus on the symmetry axis. II (Q1580673) (← links)
- Some summation rules related to the Riordan arrays (Q1827721) (← links)
- MultInt, a MAPLE package for multiple integration by the WZ method (Q1864891) (← links)
- On the structure of multivariate hypergeometric terms. (Q1866177) (← links)
- Multibasic and mixed hypergeometric Gosper-type algorithms (Q1974697) (← links)
- Bieberbach's conjecture, the de Branges and Weinstein functions and the Askey-Gasper inequality (Q2369904) (← links)
- Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms (Q2456541) (← links)
- Summation algorithms for Stirling number identities (Q2469233) (← links)
- A new Sigma approach to multi-summation (Q2483910) (← links)
- Rationality of the Möbius function of a composition poset (Q2503301) (← links)
- Loops, matchings and alternating-sign matrices (Q2566291) (← links)
- Advanced determinant calculus: a complement (Q2575011) (← links)
- Current trends in asymptotics: Some problems and some solutions (Q2644883) (← links)
- Rational Functions Certify Combinatorial Identities (Q3470469) (← links)
- Rational function certification of multisum/integral/“𝑞” identities (Q4016745) (← links)
- Identities for families of orthogonal polynomials and special functions (Q4349690) (← links)
- COMPUTER PROOFS OF MATRIX PRODUCT IDENTITIES (Q5315542) (← links)
- Solving parameterized linear difference equations in terms of indefinite nested sums and products (Q5317727) (← links)
- On identities of the Rogers-Ramanujan type (Q5898132) (← links)