Pages that link to "Item:Q1176785"
From MaRDI portal
The following pages link to The method of creative telescoping (Q1176785):
Displayed 44 items.
- Central polynomials and matrix invariants (Q677453) (← links)
- Identities in search of identity (Q688676) (← links)
- Pascal-like determinants are recursive (Q705238) (← links)
- The method of differentiating under the integral sign (Q754021) (← links)
- Formal solutions of differential equations (Q803209) (← links)
- The Capelli identity, the double commutant theorem, and multiplicity-free actions (Q810147) (← links)
- A purely verification proof of the first Rogers-Ramanujan identity (Q914679) (← links)
- Improved universal denominators (Q926619) (← links)
- A refined difference field theory for symbolic summation (Q931139) (← links)
- Converging to Gosper's algorithm (Q950412) (← links)
- A holonomic systems approach to special functions identities (Q1173698) (← links)
- Hypergeometric solutions of linear recurrences with polynomial coefficients (Q1199820) (← links)
- An approach to the zero recognition problem by Buchberger algorithm (Q1199821) (← links)
- The number of centered lozenge tilings of a symmetric hexagon (Q1284471) (← links)
- On Zeilberger's algorithm and its \(q\)-analogue (Q1318445) (← links)
- The death of proof? Semi-rigorous mathematics? You've got to be kidding! (Q1343656) (← links)
- Binomial identities -- combinatorial and algorithmic aspects (Q1344624) (← links)
- Enumeration of noncrossing trees on a circle (Q1381832) (← links)
- (--1)-enumeration of plane partitions with complementation symmetry (Q1398286) (← links)
- A direct algorithm to construct the minimal \(Z\)-pairs for rational functions. (Q1398291) (← links)
- When does Zeilberger's algorithm succeed? (Q1408263) (← links)
- An operator inequality and self-adjointness. (Q1418976) (← links)
- The number of rhombus tilings of a symmetric hexagon which contain a fixed rhombus on the symmetry axis. II (Q1580673) (← links)
- Elimination of variables in linear solvable polynomial algebras and \(\delta\)-holonomicity (Q1841819) (← links)
- On the structure of multivariate hypergeometric terms. (Q1866177) (← links)
- Multibasic and mixed hypergeometric Gosper-type algorithms (Q1974697) (← links)
- Applicability of the \(q\)-analogue of Zeilberger's algorithm (Q2456539) (← links)
- Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms (Q2456541) (← links)
- On homogeneous Zeilberger recurrences (Q2474260) (← links)
- A telescoping method for double summations (Q2503028) (← links)
- On the order of the recurrence produced by the method of creative telescoping (Q2566273) (← links)
- Loops, matchings and alternating-sign matrices (Q2566291) (← links)
- Effective scalar products of D-finite symmetric functions (Q2568968) (← links)
- Advanced determinant calculus: a complement (Q2575011) (← links)
- \texttt{RRtools} -- a Maple package for aiding the discovery and proof of finite Rogers-Ramanujan type identities (Q2643517) (← links)
- Telescoping in the context of symbolic summation in Maple (Q2643565) (← 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)
- (Q4851969) (← links)
- COMPUTER PROOFS OF MATRIX PRODUCT IDENTITIES (Q5315542) (← links)
- Deconstructing the Zeilberger algorithm<sup>†</sup> (Q5317730) (← links)
- Towards computerized proofs of identities (Q5749295) (← links)