Sign in
Formally-Verified Round-Off Error Analysis of Runge-Kutta Methods.
Florian Faissole
Published in:
J. Autom. Reason. (2024)
Keyphrases
</>
error analysis
high dimensional data
higher order
numerical methods