Effective bounds for P-recursive sequences

DOI10.1016/j.jsc.2010.06.024zbMath1201.65219OpenAlexW2055334714MaRDI QIDQ992808

Bruno Salvy, Marc Mezzarobba

Publication date: 10 September 2010

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

Full work available at URL: https://doi.org/10.1016/j.jsc.2010.06.024

zbMATH Keywords

algorithmboundsasymptotic behaviourholonomic functionslinear recurrence relationCauchy-Kovalevskaya majorantcertified evaluationevaluation of power series

Mathematics Subject Classification ID

Numerical summation of series (65B10) Numerical aspects of recurrence relations (65Q30)

Related Items

Effective approximation of the solutions of algebraic equations ⋮ An Accurate Numerical Method and Algorithm for Constructing Solutions of Chaotic Systems ⋮ D-finite numbers ⋮ Multiple binomial sums ⋮ Rounding error analysis of linear recurrences using generating series ⋮ Efficient and accurate computation of upper bounds of approximation errors ⋮ Univariate polynomial solutions of algebraic difference equations ⋮ Kostant's partition function and magic multiplex juggling sequences ⋮ Computing Hypergeometric Functions Rigorously ⋮ Confluence of meromorphic solutions of \(q\)-difference equations ⋮ Truncation bounds for differentially finite series ⋮ Linear differential equations as a data structure

Uses Software

• ACETAF
• gfun
• Asyrec
• na20

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• D-finite power series
• Resurrecting the asymptotics of linear recurrences
• Differentiably finite power series
• A holonomic systems approach to special functions identities
• Automatic average-case analysis of algorithms
• Sur les points singuliers des équations différentielles
• Fast evaluation of holonomic functions
• Symbolic integration. I: Transcendental functions
• Asymptotic behavior of a Poincaré recurrence system
• Design, analysis, and implementation of a multiprecision polynomial rootfinder
• Taylor forms -- use and limits.
• Improved validated bounds for Taylor coefficients and for Taylor remainder series
• Effective asymptotics of linear recurrences with rational coefficients
• Lösungstypen von Differenzgleichungen und Summengleichungen in normierten abelschen Gruppen
• On effective analytic continuation
• Poincaré theorem for difference equations
• Leibniz's Formula, Cauchy Majorants, and Linear Differential Equations
• GFUN
• On Taylor Model Based Integration of ODEs
• ACETAF
• Fast evaluation of holonomic functions near and in regular singularities

This page was built for publication: Effective bounds for P-recursive sequences