ACETAF
From MaRDI portal
Software:12787
No author found.
Related Items (6)
Improved validated bounds for Taylor coefficients and for Taylor remainder series ⋮ 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 ⋮ Effective bounds for P-recursive sequences ⋮ Truncation bounds for differentially finite series
This page was built for software: ACETAF
