Rigorous Multiple-Precision Evaluation of D-Finite Functions in SageMath

Abstract

We present a new open source implementation in the SageMath computer algebra system of algorithms for the numerical solution of linear ODEs with polynomial coefficients. Our code supports regular singular connection problems and provides rigorous error bounds.

References in corpus (1)

• Monodromy calculatons of fourth order equations of Calabi-Yau type

Cited by in corpus (5)

• Computing Periods of Hypersurfaces
• Computing the volume of compact semi-algebraic sets
• Effective Coefficient Asymptotics of Multivariate Rational Functions via Semi-Numerical Algorithms for Polynomial Systems
• Rounding Error Analysis of Linear Recurrences Using Generating Series
• Separation of periods of quartic surfaces