Accéder directement au contenu

Érik Martin-Dorel

3
Documents
Identifiants chercheurs

Présentation

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

Publications

nicolas-brisebarre
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
Image document

Implementing decimal floating-point arithmetic through binary: some suggestions

 Nicolas Brisebarre , Milos Ercegovac , Nicolas Louvet , Érik Martin-Dorel , Jean-Michel Muller
21st IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2010), Jul 2010, Rennes, France. pp.317-320, ⟨10.1109/ASAP.2010.5540969⟩
Communication dans un congrès ensl-00463353v2