First Page | Document Content | |
---|---|---|
Date: 2012-06-28 09:41:10Computer 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 ListSource URL: www.lri.frDownload Document from Source WebsiteFile Size: 343,84 KBShare Document on Facebook |