Computer Arithmetic and Formal ProofsSylvie Boldo, Guillaume Melquiond · First published 2017Open the Tome
Handbook of Floating-Point ArithmeticJean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres · First published 2009Open the Tome
