Rigorous error analysis of numerical algorithms via symbolic computations
From MaRDI portal
Publication:674759
DOI10.1006/jsco.1996.0061zbMath0871.65035MaRDI QIDQ674759
Publication date: 26 August 1997
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/03b10df2e9d24c400e3eec14fa1b63c30cb29bcd
error bounds; interval arithmetic; Runge-Kutta method; MATHEMATICA; symbolic calculus; chaos in the Lorenz equation
Related Items
Semantics of roundoff error propagation in finite precision calculations, Runge-Kutta methods for quadratic ordinary differential equations, Rigorous error bounds for RK methods in the proof of chaotic behaviour
Uses Software