Pages that link to "Item:Q4164353"
From MaRDI portal
The following pages link to Decision procedure for indefinite hypergeometric summation (Q4164353):
Displayed 50 items.
- Rational normal forms and minimal decompositions of hypergeometric terms (Q697479) (← links)
- The method of differentiating under the integral sign (Q754021) (← links)
- Formal solutions of differential equations (Q803209) (← links)
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral identities (Q811594) (← links)
- Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation (Q850522) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Padé approximations to the logarithm. III: Alternative methods and additional results (Q874896) (← links)
- A fast algorithm for proving terminating hypergeometric identities (Q913796) (← links)
- Improved universal denominators (Q926619) (← links)
- A refined difference field theory for symbolic summation (Q931139) (← links)
- Converging to Gosper's algorithm (Q950412) (← links)
- Rational solutions of ordinary difference equations (Q950423) (← links)
- MACSYMA from F to G (Q1062750) (← links)
- Computer algebra: Past and future (Q1098287) (← links)
- Sister Celine's technique and its generalizations (Q1164046) (← links)
- The method of creative telescoping (Q1176785) (← links)
- Hypergeometric solutions of linear recurrences with polynomial coefficients (Q1199820) (← links)
- Finite singularities and hypergeometric solutions of linear recurrence equations (Q1295784) (← links)
- On Zeilberger's algorithm and its \(q\)-analogue (Q1318445) (← links)
- Riordan arrays and combinatorial sums (Q1336667) (← links)
- A generalization of Gosper's algorithm (Q1339870) (← links)
- Binomial identities -- combinatorial and algorithmic aspects (Q1344624) (← links)
- (--1)-enumeration of plane partitions with complementation symmetry (Q1398286) (← links)
- A non-automatic (!) application of Gosper's algorithm evaluates a determinant from tiling enumeration (Q1415038) (← links)
- Computer proofs of a new family of harmonic number identities. (Q1415382) (← links)
- The calculation of average distance in mesh structures. (Q1416347) (← links)
- Special issue: Differential algebra and differential equations (Q1578438) (← links)
- Some summation rules related to the Riordan arrays (Q1827721) (← links)
- Enumeration of Lozenge tilings of hexagons with cut-off corners (Q1865392) (← links)
- On the structure of multivariate hypergeometric terms. (Q1866177) (← links)
- \(k\)-free recurrences of double hypergeometric terms (Q1883403) (← links)
- Multibasic and mixed hypergeometric Gosper-type algorithms (Q1974697) (← links)
- Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms (Q2456541) (← links)
- On the Gosper-Petkovšek representation of rational functions (Q2456578) (← links)
- Fast computation of special resultants (Q2457312) (← links)
- Ore polynomial rings in one variable in computer algebra. (Q2462024) (← 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)
- Indefinite summation with unspecified summands (Q2501544) (← links)
- A telescoping method for double summations (Q2503028) (← links)
- On the rational summation problem (Q2508519) (← links)
- Loops, matchings and alternating-sign matrices (Q2566291) (← links)
- An explicit formula for \(| FM(1+1+n)|\) (Q2640630) (← links)
- Telescoping in the context of symbolic summation in Maple (Q2643565) (← links)
- Rational Functions Certify Combinatorial Identities (Q3470469) (← links)
- Aligator: A Mathematica Package for Invariant Generation (System Description) (Q3541707) (← links)
- SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS (Q3595327) (← links)
- Integration of solutions of linear functional equations (Q4935269) (← links)
- Solving parameterized linear difference equations in terms of indefinite nested sums and products (Q5317727) (← links)