Cited in
(6)- Numerical Software with Result Verification
- Verified integration of linear \(n\)th order ODEs using large steps
- Efficient and accurate computation of upper bounds of approximation errors
- Improved validated bounds for Taylor coefficients and for Taylor remainder series
- Truncation bounds for differentially finite series
- Effective bounds for P-recursive sequences
This page was built for software: ACETAF
