Rigorous Multiple-Precision Evaluation of D-Finite Functions in SageMath
classification
💻 cs.SC
keywords
rigoroussagemathalgebraalgorithmsboundscodecoefficientscomputer
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.