Truncation bounds for differentially finite series
From MaRDI portal
Publication:2323059
DOI10.5802/ahl.17zbMath1435.65106OpenAlexW2890275617WikidataQ127783594 ScholiaQ127783594MaRDI QIDQ2323059
Publication date: 30 August 2019
Published in: Annales Henri Lebesgue (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.5802/ahl.17
Symbolic computation and algebraic computation (68W30) Theoretical approximation of solutions to ordinary differential equations (34A45) Numerical methods for initial value problems involving ordinary differential equations (65L05) Error bounds for numerical methods for ordinary differential equations (65L70)
Related Items (4)
Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes ⋮ Rounding error analysis of linear recurrences using generating series ⋮ Computing error bounds for asymptotic expansions of regular P-recursive sequences ⋮ Guessing Gröbner bases of structured ideals of relations of sequences
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Breaking the limits: The Taylor series method
- The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
- Effective bounds for P-recursive sequences
- Fast evaluation of holonomic functions
- Validated solutions of initial value problems for ordinary differential equations
- Improved validated bounds for Taylor coefficients and for Taylor remainder series
- Polynomial evaluation and interpolation on special sets of points
- Efficient accelero-summation of holonomic functions
- Modular algorithms in symbolic summation and symbolic integration
- Explicit a-priori error bounds and adaptive error control for approximation of nonlinear initial value differential systems
- Ore Polynomials in Sage
- NumGfun
- Modern Computer Arithmetic
- Lattice Green functions: thed-dimensional face-centered cubic lattice,d= 8, 9, 10, 11, 12
- On finding the largest root of a polynomial
- Lattice Green functions and Calabi–Yau differential equations
- Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
- An enclosure method for the solution of linear odes with polynomial coefficients
- Lattice Green functions of the higher-dimensional face-centered cubic lattices
- Computing Hypergeometric Functions Rigorously
- Lattice Green functions: the seven-dimensional face-centred cubic lattice
- On Taylor Model Based Integration of ODEs
- ACETAF
- Fast evaluation of holonomic functions near and in regular singularities
This page was built for publication: Truncation bounds for differentially finite series
