Guillaume Melquiond

• Handbook of Floating-Point Arithmetic
• Computer Arithmetic and Formal Proofs