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.
Domains
Symbolic Computation [cs.SC]
Origin : Files produced by the author(s)
Loading...