<--- Back to Details
First PageDocument Content
Computer arithmetic / Mathematics / Numerical analysis / Arithmetic / Interval arithmetic / Interval
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

Mathematics / Mathematical analysis / Analysis / Computer arithmetic / Numerical analysis / Arithmetic / Functions and mappings / Differential calculus / Interval arithmetic / Rounding / Derivative / Integral

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

Numerical analysis / Mathematics / Applied mathematics / Iterative refinement / Iterative method / Interval arithmetic / Newton's method / Condition number / Residual / Root-finding algorithm / Affine arithmetic

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

Computer arithmetic / Mathematics / Numerical analysis / Arithmetic / Interval arithmetic / Interval

Introduction to the IEEEStandard for Interval Arithmetic

DocID: 1xVf8 - View Document

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

DocID: 1xV8w - View Document

Mathematics / Computer arithmetic / Algebra / Abstract algebra / Abstract interpretation / Interval arithmetic / Two's complement / Interval / Signedness / Logarithm / Modular arithmetic / Division by zero

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