Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
<--- Back to Details
First Page
Document Content
Date: 2017-07-24 10:20:50
Computer arithmetic
Mathematics
Numerical analysis
Arithmetic
Interval arithmetic
Interval
Introduction to the IEEEStandard for Interval Arithmetic
Add to Reading List
Source URL: www.cs.ox.ac.uk
Download Document from Source Website
File Size: 1,21 MB
Share Document on Facebook
Similar Documents
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