The following pages link to ACETAF (Q12787):
Displayed 6 items.
- Efficient and accurate computation of upper bounds of approximation errors (Q633637) (← links)
- Verified integration of linear \(n\)th order ODEs using large steps (Q876676) (← links)
- Effective bounds for P-recursive sequences (Q992808) (← links)
- Improved validated bounds for Taylor coefficients and for Taylor remainder series (Q1872963) (← links)
- Truncation bounds for differentially finite series (Q2323059) (← links)
- Numerical Software with Result Verification (Q5308343) (← links)