Back to Results
First PageMeta Content
Mathematics / Computer arithmetic / Real number / Floating-point arithmetic / Arbitrary-precision arithmetic / Algorithm / Interval / Complex number


Introduction Interval+Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France
Add to Reading List

Document Date: 2014-07-18 04:25:02


Open Document

File Size: 445,90 KB

Share Result on Facebook