Publication:4449011
From MaRDI portal
zbMath1038.65145MaRDI QIDQ4449011
Publication date: 12 February 2004
interval analysisinitial value problemserror controlscientific computingresult verificationnonlinear Volterra equationsreliable error bounds
Symbolic computation and algebraic computation (68W30) Numerical methods for integral equations (65R20) Other nonlinear integral equations (45G10) Nonlinear ordinary differential equations and systems (34A34) General methods in interval analysis (65G40) Numerical methods for initial value problems involving ordinary differential equations (65L05) Algorithms with automatic result verification (65G20)