For reliable and powerful scientific computations

Fabienne Jézéquel 1 Jean-Marie Chesneaux 1
1 ANP - Algorithmique numérique et parallélisme
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : 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.
Document type :
Book sections
Complete list of metadatas
Contributor : Lip6 Publications <>
Submitted on : Tuesday, August 1, 2017 - 3:27:58 PM
Last modification on : Thursday, March 21, 2019 - 1:13:32 PM



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⟩



Record views