Login / Signup

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