The Forthcoming IEEE Standard 1788 for Interval Arithmetic

DOI10.1007/978-3-319-31769-4_3zbMath1354.65086OpenAlexW2511548564MaRDI QIDQ2803584

John D. Pryce

Publication date: 2 May 2016

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

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)

Related Items

Modeling the uncertainty in epidemiological models through interval analysis considering actual data from two municipalities in Colombia affected by dengue

Cites Work

• An interval Newton method
• Interval arithmetic over finitely many endpoints
• PROFIL/BIAS - A fast interval library
• Epsilon-inflation in verification algorithms
• Verification methods: Rigorous results using floating-point arithmetic
• FILIB++, a fast interval library supporting containment computations
• Solving Polynomial Systems Using a Branch and Prune Approach
• A Fortran 90 environment for research and prototyping of enclosure algorithms for nonlinear equations and global optimization
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item