Hypergeometric-type sequences

DOI10.1016/j.jsc.2024.102328zbMATH Open1547.33016MaRDI QIDQ6543086

Bertrand Teguia Tabuguia

Publication date: 24 May 2024

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

zbMATH Keywords

P-recursive sequences\(m\)-fold indicator sequencesinterlaced hypergeometric termmfoldHyperPetkovšek's algorithm hyper

Mathematics Subject Classification ID

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