The Forthcoming IEEE Standard 1788 for Interval Arithmetic

DOI10.1007/978-3-319-31769-4_3MaRDI QIDQ2803584zbMATH OpenOpenAlexFDO

Authors John D. Pryce

Publication date 2 May 2016

Published in Scientific Computing, Computer Arithmetic, and Validated Numerics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 2.5 Generic

Full work available at URL https://doi.org/10.1007/978-3-319-31769-4_3

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30)

Recommendations

• Introduction to the IEEE 1788-2015 standard for interval arithmetic
• Mathematics and speed for interval arithmetic: a complement to IEEE 1788
• scientific article; zbMATH DE number 3866476
• scientific article; zbMATH DE number 804854
• Interval arithmetic and its implementations
• Testing interval arithmetic libraries, including their IEEE-1788 compliance
• Interval arithmetic: from principles to implementation
• scientific article; zbMATH DE number 804657
• scientific article; zbMATH DE number 1694751
• scientific article; zbMATH DE number 5899418

Cites work

• scientific article; zbMATH DE number 3666088 (Why is no real title available?)
• scientific article; zbMATH DE number 1440908 (Why is no real title available?)
• scientific article; zbMATH DE number 3281218 (Why is no real title available?)
• scientific article; zbMATH DE number 3281219 (Why is no real title available?)
• A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization
• An interval Newton method
• Epsilon-inflation in verification algorithms
• FILIB++, a fast interval library supporting containment computations
• Interval arithmetic over finitely many endpoints
• PROFIL/BIAS - A fast interval library
• Solving Polynomial Systems Using a Branch and Prune Approach
• The end of error: Unum computing
• Validated numerics. A short introduction to rigorous computations.
• Verification methods: rigorous results using floating-point arithmetic

Cited in

(5)

• Modeling the uncertainty in epidemiological models through interval analysis considering actual data from two municipalities in Colombia affected by dengue
• scientific article; zbMATH DE number 3866476 (Why is no real title available?)
• Introduction to the IEEE 1788-2015 standard for interval arithmetic
• IEEE754 Precision- k base-β Arithmetic Inherited by Precision- m Base-β Arithmetic for k < m
• Standardized interval arithmetic and interval arithmetic used in libraries

This page was built for publication: The Forthcoming IEEE Standard 1788 for Interval Arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2803584)