For reliable and powerful scientific computations
Résumé
Some arithmetics for numerical validation have been developed on sequential computer architectures: interval arithmetic, discrete stochastic arithmetic or multi-precision arithmetic. Today, a lot of powerful computations are performed on vector computer architectures. We present here the first vector version of the CADNA software based on discrete stochastic arithmetic which combines powerful and reliable computations.