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,
Daněk, Josef
and
Pospíšil, Jan
2025.
Challenges in Automatic Differentiation and Numerical Integration in Physics‐Informed Neural Networks Modelling.
International Journal for Numerical Methods in Engineering,
Vol. 126,
Issue. 20,