<--- 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 / Algebra / Linear programming / Linear algebra / Elementary algebra / Inequality / Linear inequality / Expected value / Simplex algorithm / Boolean satisfiability problem / Cutting-plane method / Equation solving

Noname manuscript No. (will be inserted by the editor) Cutting to the Chase Solving Linear Integer Arithmetic

DocID: 1xW2n - View Document

Mathematics / Computer arithmetic / Numerical analysis / Applied mathematics / Arithmetic / Interval arithmetic / Computer-assisted proof / Computational science / Scan

SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic,

DocID: 1xVSx - View Document

Algebra / Abstract algebra / Geometry / Group theory / Lie groups / Algebraic geometry / Algebraic groups / Shimura variety / Reductive group / Group action / Group scheme / Abelian variety

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–396) ARITHMETIC MODELS FOR SHIMURA VARIETIES Georgios Pappas

DocID: 1xVRI - View Document

Computer arithmetic / Mathematics / Arithmetic / Theoretical computer science / Rounding / Division algorithm / Expected value

Stochastic arithmetic in multiprecision Stef Graillat Joint work with Fabienne Jézéquel and Yuxiang Zhu LIP6/PEQUAN - Université Pierre et Marie Curie (Paris 6) - CNRS NSV3, Third International Workshop on Numerical

DocID: 1xVHL - 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