Pages that link to "Item:Q913796"
From MaRDI portal
The following pages link to A fast algorithm for proving terminating hypergeometric identities (Q913796):
Displaying 44 items.
- On the length of integers in telescopers for proper hypergeometric terms (Q2252118) (← links)
- Harmonic number identities via the Newton-Andrews method (Q2254987) (← links)
- An algorithm for deciding the summability of bivariate rational functions (Q2254998) (← links)
- Bieberbach's conjecture, the de Branges and Weinstein functions and the Askey-Gasper inequality (Q2369904) (← links)
- Trusting computations: a mechanized proof from partial differential equations to actual program (Q2398899) (← links)
- Generalized exponential sums and the power of computers (Q2398949) (← links)
- Some open problems related to creative telescoping (Q2402228) (← links)
- Generalized two-qubit whole and half Hilbert-Schmidt separability probabilities (Q2407334) (← links)
- Reduction-based creative telescoping for Fuchsian D-finite functions (Q2409011) (← links)
- Elimination in Weyl algebra and \(q\)-identities (Q2425844) (← 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)
- A fast algorithm for proving terminating hypergeometric identities. (Reprint) (Q2498005) (← 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)
- An algorithmic approach to the \(q\)-summability problem of bivariate rational functions (Q2661863) (← links)
- The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients (Q2687266) (← links)
- Hypercontractive inequalities via SOS, and the Frankl-Rödl graph (Q2826231) (← links)
- AN EFFICIENT ALGORITHM FOR DERIVING SUMMATION IDENTITIES FROM MUTUAL RECURRENCES (Q3166727) (← links)
- Computer Algebra, Power Series and Summation (Q3298072) (← links)
- ON THE WRAPPING CORRECTION TO SINGLE MAGNON ENERGY IN TWISTED ${\mathcal N}=4$ SYM (Q3401641) (← links)
- Rational Functions Certify Combinatorial Identities (Q3470469) (← links)
- Fully Packed Loop Models on Finite Geometries (Q3651689) (← links)
- Rational function certification of multisum/integral/“𝑞” identities (Q4016745) (← links)
- Identities for families of orthogonal polynomials and special functions (Q4349690) (← links)
- Contiguous Relations and Creative Telescoping (Q5022183) (← links)
- Creative Telescoping for Holonomic Functions (Q5244921) (← links)
- Relativistic Coulomb Integrals and Zeilberger’s Holonomic Systems Approach. I (Q5244923) (← links)
- COMPUTER PROOFS OF MATRIX PRODUCT IDENTITIES (Q5315542) (← links)
- Solving parameterized linear difference equations in terms of indefinite nested sums and products (Q5317727) (← links)
- No-neighbours recurrence schemes for space-time Green’s functions on a 3D simple cubic lattice (Q5373941) (← links)
- APÉRY LIMITS FOR ELLIPTIC -VALUES (Q5867865) (← links)
- On identities of the Rogers-Ramanujan type (Q5898132) (← links)
- Interview with Peter Paule (Q6097081) (← links)
- Lattice walks ending on a coordinate hyperplane avoiding backtracking and repeats (Q6097993) (← links)
- Polynomial reduction for holonomic sequences and applications in \(\pi\)-series and congruences (Q6170337) (← links)
- Hypergeometric-type sequences (Q6543086) (← links)
- Reduction-based creative telescoping for definite summation of D-finite functions (Q6543088) (← links)
- Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations (Q6615401) (← links)
- Power-partible reduction and congruences for Schröder polynomials (Q6619539) (← links)
- Power-partible reduction and congruences for Apéry numbers (Q6658784) (← links)
