Accéder directement au contenu

Érik Martin-Dorel

2
Documents
Identifiants chercheurs

Présentation

Brought to you by HAL.
Brought to you by HAL.

Publications

mioara-joldes
Image document

Rigorous Polynomial Approximation using Taylor Models in Coq

 Nicolas Brisebarre , Mioara Maria Joldes , Érik Martin-Dorel , Micaela Mayero , Jean-Michel Muller
Fourth NASA Formal Methods Symposium, NASA, Apr 2012, Norfolk, Virginia, United States. pp.15
Communication dans un congrès ensl-00653460v2
Image document

Augmented precision square roots, 2-D norms, and discussion on correctly rounding {x^2+y^2}

 Nicolas Brisebarre , Mioara Maria Joldes , Peter Kornerup , Érik Martin-Dorel , Jean-Michel Muller
20th IEEE Symposium on Computer Arithmetic (ARITH-20), Jul 2011, Tübingen, Germany. pp.23-30, ⟨10.1109/ARITH.2011.13⟩
Communication dans un congrès ensl-00545591v2