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

laurent-thery
Image document

Certified, Efficient and Sharp Univariate Taylor Models in COQ

Érik Martin-Dorel , Micaela Mayero , Ioana Pasca , Laurence Rideau , Laurent Théry
SYNASC 2013 - 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2013, Timisoara, Romania
Communication dans un congrès hal-00845791v2
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