Back to Results
First PageMeta Content
Computer arithmetic / Computing / Computer architecture / IEEE floating point / Double-precision floating-point format / Long double / Extended precision / C99 / Single-precision floating-point format / SSE2 / Strictfp / Normal number


Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan ·
Add to Reading List

Document Date: 2014-12-04 07:10:42

Open Document

File Size: 363,06 KB

Share Result on Facebook