First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 445,90 KBShare Document on Facebook |