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