For reliable and powerful scientific computations

Fabienne Jézéquel (1) , Jean-Marie Chesneaux (1)

1 ANP - Algorithmique numérique et parallélisme

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.

Domaines: Informatique [cs]

Fabienne Jézéquel, Jean-Marie Chesneaux. For reliable and powerful scientific computations. Scientific Computing, Validated Numerics, Interval Methods, Kluwer Academic/Plenum, pp.367-377, 2001, 978-1-4419-3376-8. ⟨10.1007/978-1-4757-6484-0_30⟩. ⟨hal-01571092⟩