Home › Authors › Guillaume Melquiond 👤 Guillaume Melquiond 2 books Books by Guillaume Melquiond Computer Arithmetic and Formal Proofs 2017 Handbook of Floating-Point Arithmetic 2009
