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.
Nicolas Brisebarre, Milos Ercegovac, Nicolas Louvet, Erik Martin-Dorel, Jean-Michel Muller, Adrien Panhaleux
Implementing Decimal Floating-Point Arithmetic through Binary: Some Suggestions (poster)
Dans : International Conference on Application-specific Systems Architectures and Processors (ASAP 2010), Rennes, 07/07/10-09/07/10, IEEE : Institute of Electrical and Electronics Engineers, p. 317-320, 2010.
Nicolas Brisebarre, Milos Ercegovac, Nicolas Louvet, Erik Martin-Dorel, Jean-Michel Muller, Adrien Panhaleux
Implementing Decimal Floating-Point Arithmetic through Binary: Some Suggestions (poster)
Dans : International Conference on Application-specific Systems Architectures and Processors (ASAP 2010), Rennes, 07/07/10-09/07/10, IEEE : Institute of Electrical and Electronics Engineers, p. 317-320, 2010.