Handbook of Floating-Point Arithmetic

Jean-Michel Muller (1, 2) , Nicolas Brisebarre (1, 2) , Florent de Dinechin (1, 2) , Claude-Pierre Jeannerod (1, 2) , Vincent Lefèvre (1, 2) , Guillaume Melquiond (3, 4) , Nathalie Revol (1, 2) , Damien Stehlé (5) , Serge Torres (1, 2)

1 ARENAIRE - Computer arithmetic
2 LIP - Laboratoire de l'Informatique du Parallélisme
3 LRI - Laboratoire de Recherche en Informatique
4 PROVAL - Proof of Programs
5 Macquarie University

Keywords: floating-Point arithmetic; computer arithmetic; arithmetic algorithms; arithmetic operators; numerical computing

Domains: Computer Science [cs]; Computer Arithmetic

Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, et al.. Handbook of Floating-Point Arithmetic. Birkhauser Boston, pp.572, 2010. ⟨ensl-00379167⟩