![Mathematics / Computer arithmetic / Real number / Floating-point arithmetic / Arbitrary-precision arithmetic / Algorithm / Interval / Complex number Mathematics / Computer arithmetic / Real number / Floating-point arithmetic / Arbitrary-precision arithmetic / Algorithm / Interval / Complex number](https://www.pdfsearch.io/img/905bf7b3ccd95a7e25fd3652d457ab19.jpg) Date: 2014-07-18 04:25:02Mathematics 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-FranceAdd to Reading ListSource URL: smt2014.it.uu.seDownload Document from Source Website File Size: 445,90 KBShare Document on Facebook
|