Filippov, A. F. Using a computer to obtain strict bounds on solutions of differential equations. (English. Russian original) Zbl 0786.65069 Comput. Math. Math. Phys. 31, No. 7, 37-45 (1991); translation from Zh. Vychisl. Mat. Mat. Fiz. 31, No. 7, 994-1005 (1991). See the review in Zbl 0751.65056. MSC: 65L70 Error bounds for numerical methods for ordinary differential equations 65L05 Numerical methods for initial value problems involving ordinary differential equations 34A34 Nonlinear ordinary differential equations and systems Keywords:strict estimates; comparison of methods; upper and lower bounds; Adams method; initial value problem; rounding and truncation errors; interval methods Citations:Zbl 0751.65056 PDFBibTeX XMLCite \textit{A. F. Filippov}, Comput. Math. Math. Phys. 31, No. 7, 994--1005 (1991; Zbl 0786.65069); translation from Zh. Vychisl. Mat. Mat. Fiz. 31, No. 7, 994--1005 (1991)