Hypergeometric-type sequences

Convergence and divergence of series and sequences (40A05) Generalized hypergeometric series, ({}_pF_q) (33C20) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Exponential and trigonometric functions (33B10) Linear difference equations (39A06)

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
A fast algorithm for proving terminating hypergeometric identities
A holonomic systems approach to special functions identities
Power series in computer algebra
Hypergeometric solutions of linear recurrences with polynomial coefficients
Finite singularities and hypergeometric solutions of linear recurrence equations
Greatest factorial factorization and symbolic summation
Algorithms for \(m\)-fold hypergeometric summation
\( m\)-fold hypergeometric solutions of linear recurrence equations revisited
\(m\)-sparse solution of linear ordinary differential equations with polynomial coefficients
An extension of Zeilberger's fast algorithm to general holonomic functions
Symbolic conversion of holonomic functions to hypergeometric type power series
Reduction-based creative telescoping for Fuchsian D-finite functions
Computing hypergeometric solutions of linear recurrence equations
Hypergeometric summation. An algorithmic approach to summation and special function identities
Ore Polynomials in Sage
A non-holonomic systems approach to special function identities
When can we detect that a P-finite sequence is positive?
Minimal decomposition of indefinite hypergeometric sums
Termination conditions for positivity proving procedures
Decision procedure for indefinite hypergeometric summation
GFUN
Decision Problems for Linear Recurrence Sequences
Creative Telescoping for Holonomic Functions
Positivity Problems for Low-Order Linear Recurrence Sequences
Towards computerized proofs of identities
A Note on Pure Recurrence Relations
D-Finite Functions
FPS in action
Operations for D-algebraic functions
Positivity certificates for linear recurrences

This page was built for publication: Hypergeometric-type sequences