Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Boldo, Sylvie
Faissole, Florian
and
Chapoutot, Alexandre
2020.
Round-Off Error and Exceptional Behavior Analysis of Explicit Runge-Kutta Methods.
IEEE Transactions on Computers,
Vol. 69,
Issue. 12,
p.
1745.
Faissole, Florian
2024.
Formally-Verified Round-Off Error Analysis of Runge–Kutta Methods.
Journal of Automated Reasoning,
Vol. 68,
Issue. 1,