Back to Results
First PageMeta Content
Numbers / Floating point / Long double / IEEE 754-2008 / Signed zero / X87 / Rounding / Intel / Single-precision floating-point format / Computer arithmetic / Computer architecture / Computing


The pitfalls of verifying floating-point computations David Monniaux
Add to Reading List

Document Date: 2008-05-22 05:34:25

Open Document

File Size: 483,97 KB

Share Result on Facebook
UPDATE