Publication:4449011

zbMath1038.65145MaRDI QIDQ4449011

Hans-Jürgen Dobner

Publication date: 12 February 2004

zbMATH Keywords

interval analysis; initial value problems; error control; scientific computing; result verification; nonlinear Volterra equations; reliable error bounds

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

65R20: Numerical methods for integral equations

45G10: Other nonlinear integral equations

34A34: Nonlinear ordinary differential equations and systems

65G40: General methods in interval analysis

65L05: Numerical methods for initial value problems involving ordinary differential equations

65G20: Algorithms with automatic result verification