Guillaume Melquiond

Books
Handbook of Floating-Point Arithmetic Handbook of Floating-Point Arithmetic
Handbook of Floating-Point Arithmetic
2018
Computer Arithmetic and Formal Proofs Computer Arithmetic and Formal Proofs
Computer Arithmetic and Formal Proofs
2017
Handbook of Floating-Point Arithmetic Handbook of Floating-Point Arithmetic
Handbook of Floating-Point Arithmetic
2009