Login / Signup
Improved bound for stochastic formal correctness of numerical algorithms.
Marc Daumas
David R. Lester
Érik Martin-Dorel
Annick Truffert
Published in:
Innov. Syst. Softw. Eng. (2010)
Keyphrases
</>
numerical algorithms
partial differential equations
upper bound
similarity measure
fourth order
machine learning
higher order