Round-Off Error and Exceptional Behavior Analysis of Explicit Runge-Kutta Methods

DOI10.1109/TC.2019.2917902MaRDI QIDQ5140200zbMATH OpenOpenAlexWikidataFDO

Authors Sylvie Boldo, Florian Faissole, Alexandre Chapoutot

Publication date 14 December 2020

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tc.2019.2917902

Mathematics Subject Classification ID

Roundoff error (65G50) Multistep, Runge-Kutta and extrapolation methods for ordinary differential equations (65L06)

Cited in

(4)

• scientific article; zbMATH DE number 4032945 (Why is no real title available?)
• scientific article; zbMATH DE number 3200045 (Why is no real title available?)
• Formally-verified round-off error analysis of Runge-Kutta methods
• Extracting efficient exact real number computation from proofs in constructive type theory

This page was built for publication: Round-Off Error and Exceptional Behavior Analysis of Explicit Runge-Kutta Methods

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5140200)