Introduction Interval Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France - Floating point - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-07-18 04:25:02 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 Source URL: smt2014.it.uu.se Download Document from Source Website File Size: 445,90 KB Share Document on Facebook

	Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France DocID: 1xVDW - View Document
	Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL) DocID: 1xVDs - View Document
	Introduction to the IEEEStandard for Interval Arithmetic DocID: 1xVf8 - View Document
	Introduction Interval+Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France DocID: 1xV8w - View Document
	1 Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD, and PETER J. STUCKEY, The University of Melbourne, Australia DocID: 1xUi8 - View Document