Publications of
Erik Martin-Dorel, Guillaume Melquiond, Jean-Michel Muller
Some issues related to double rounding
In : BIT Numerical Mathematics, Springer, Vol. 53 N. 4, pp. 897-924, 2013.
Dominique Lavenier, Daniel Litaize, Pascal Sainrat, Jean-Michel Muller
Et demain, quel PC ?
In : Technique et science informatiques, Hermès, Vol. 20, pp. 111-120, January 2001.
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)
In : International Symposium on NASA Formal Methods (NFM 2012), Norfolk, Virginia, 03/04/12-05/04/12, Springer, pp. 85-99, 2012.
Nicolas 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)
In : IEEE Symposium on Computer Arithmetic (ARITH 2011), Tübingen, Germany, 25/07/11-27/07/11, IEEE : Institute of Electrical and Electronics Engineers, pp. 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)
In : 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, pp. 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)
In : 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, pp. 317-320, 2010.