Back to Results
First PageMeta Content
Computer arithmetic / Arithmetic / Mathematics / Computing / Rounding / IEEE floating point / GNU MPFR / Arbitrary-precision arithmetic / Division algorithm / Unit in the last place / Pi / Double-precision floating-point format


Floating-point arithmetic in the Coq system a,1 Guillaume Melquiond a INRIA Saclay  Île-de-France,
Add to Reading List

Document Date: 2012-06-28 09:41:10


Open Document

File Size: 343,84 KB

Share Result on Facebook
UPDATE