Rigorous error analysis of numerical algorithms via symbolic computations

DOI10.1006/jsco.1996.0061zbMath0871.65035OpenAlexW2165301244MaRDI QIDQ674759

Marian Mrozek

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

zbMATH Keywords

error boundsinterval arithmeticRunge-Kutta methodMATHEMATICAsymbolic calculuschaos in the Lorenz equation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Roundoff error (65G50)

Related Items (3)

Semantics of roundoff error propagation in finite precision calculations ⋮ Rigorous error bounds for RK methods in the proof of chaotic behaviour ⋮ Runge-Kutta methods for quadratic ordinary differential equations

Uses Software

• Mathematica

This page was built for publication: Rigorous error analysis of numerical algorithms via symbolic computations