Login / Signup

Improved bound for stochastic formal correctness of numerical algorithms.

Marc DaumasDavid R. LesterÉrik Martin-DorelAnnick Truffert
Published in: Innov. Syst. Softw. Eng. (2010)
Keyphrases
  • numerical algorithms
  • partial differential equations
  • upper bound
  • similarity measure
  • fourth order
  • machine learning
  • higher order