Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic

Christophe Denis, Pablo De Oliveira Castro, Eric Petit

Numerical accuracy of floating point computation is a well studied topic which has not made its way to the end-user in scientific computing. Yet, it has become a critical issue wit…