Publications de
Nicolas Brisebarre, Mioara Joldes, Erik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau, Laurent Théry
Rigorous Polynomial Approximation Using Taylor Models in Coq (regular paper)
Dans : International Symposium on NASA Formal Methods (NFM 2012), Norfolk, Virginia, 03/04/12-05/04/12, Springer, p. 85-99, 2012.
Accès : http://dx.doi.org/10.1007/978-3-642-28891-3_9
BibTeXNicolas Brisebarre, Mioara Joldes, Peter Kornerup, Erik Martin-Dorel, Jean-Michel Muller
Augmented precision square roots, 2-D norms, and discussion on correctly rounding sqrt(x²+y²) (regular paper)
Dans : IEEE Symposium on Computer Arithmetic (ARITH 2011), Tübingen, Germany, 25/07/11-27/07/11, IEEE : Institute of Electrical and Electronics Engineers, p. 23-30, 2011.