Back to Results
First PageMeta Content
Numerical analysis / Mathematics / Applied mathematics / Computing / Error analysis / Interval arithmetic / Round-off error / Program optimization / Infinite loop / Algorithm


Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2
Add to Reading List

Document Date: 2018-10-18 11:22:35

Open Document

File Size: 263,88 KB

Share Result on Facebook
UPDATE