Fast evaluation of holonomic functions near and in regular singularities

DOI10.1006/JSCO.2000.0474zbMath0982.65024OpenAlexW2113904971MaRDI QIDQ5937886

Joris van der Hoeven

Publication date: 11 April 2002

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

Full work available at URL: https://doi.org/10.1006/jsco.2000.0474

zbMATH Keywords

algorithmssingular pointsholonomic functionslinear differential equation

Mathematics Subject Classification ID

Topological structure of integral curves, singular points, limit cycles of ordinary differential equations (34C05) Computation of special functions and constants, construction of tables (65D20) General theory of numerical methods in complex analysis (potential theory, etc.) (65E05) Numerical methods for initial value problems involving ordinary differential equations (65L05) Singularities, monodromy and local behavior of solutions to ordinary differential equations in the complex domain, normal forms (34M35)

Related Items (22)

Procedures for searching local solutions of linear differential systems with infinite power series in the role of coefficients ⋮ On the complexity of integer matrix multiplication ⋮ D-finite numbers ⋮ Blendstrings: an environment for computing with smooth functions ⋮ Computing error bounds for asymptotic expansions of regular P-recursive sequences ⋮ Separation of periods of quartic surfaces ⋮ Asymptotics of multivariate sequences. IV: Generating functions with poles on a hyperplane arrangement ⋮ Relaxed algorithms for \(p\)-adic numbers ⋮ Effective analytic functions ⋮ Counterexamples to witness conjectures ⋮ Complexity bounds for zero-test algorithms ⋮ Around the numeric-symbolic computation of differential Galois groups ⋮ Efficient accelero-summation of holonomic functions ⋮ Computation and Applications of Mathieu Functions: A Historical Perspective ⋮ Linear differential and difference systems: \(\mathrm{EG}_\delta\)- and \(\mathrm{EG}_\sigma\)-eliminations ⋮ Regular solutions of linear differential systems with power series coefficients ⋮ Effective bounds for P-recursive sequences ⋮ A Numerical Transcendental Method in Algebraic Geometry: Computation of Picard Groups and Related Invariants ⋮ Computing Hypergeometric Functions Rigorously ⋮ A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method ⋮ Truncation bounds for differentially finite series ⋮ Linear differential equations as a data structure

Cites Work

• Multisummability and Stokes multipliers of linear meromorphic differential equations
• D-finite power series
• Differentiably finite power series
• A holonomic systems approach to special functions identities
• Fast evaluation of holonomic functions
• From divergent power series to analytic functions. Theory and application of multisummable power series
• Formal solutions and factorization of differential operators with power series coefficients
• How to recognize zero?
• Lyndon words, polylogarithms and the Riemann \(\zeta\) function
• Algebras of Iterated Path Integrals and Fundamental Groups
• Reduction of Ordinary Differential Equations to the Birkhoff Canonical Form
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Fast evaluation of holonomic functions near and in regular singularities