ACETAF
From MaRDI portal
Software:12787
Author name not available (Why is that?)
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
