Standardized interval arithmetic and interval arithmetic used in libraries

Authors:
Nathalie Revol
Affiliations:
LIP, UMR, CNRS, ENS de Lyon, INRIA, UCBL, Université de Lyon, École Normale Supérieure de Lyon, Lyon, France
Venue:
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Year:
2010

Citing 10
Cited 0

Interval arithmetic: From principles to implementation

Journal of the ACM (JACM)
Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques

ACM Transactions on Mathematical Software (TOMS)
FILIB++, a fast interval library supporting containment computations

ACM Transactions on Mathematical Software (TOMS)
Interval Arithmetic with Containment Sets

Computing
C-XSC and Closely Related Software Packages

Numerical Validation in Current Hardware Architectures
Contractor programming

Artificial Intelligence
GlobSol user guide

Optimization Methods & Software - GLOBAL OPTIMIZATION
GLOPTLAB: a configurable framework for the rigorous global solution of quadratic constraint satisfaction problems

Optimization Methods & Software - GLOBAL OPTIMIZATION
Static analysis of the accuracy in control systems: principles and experiments

FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Chebyshev interpolation polynomial-based tools for rigorous computing

Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

The standardization of interval arithmetic is currently undertaken by the IEEE-1788 working group. Some features of the standard are detailed. The features chosen here are the ones which may be the less widely adopted in current implementations of interval arithmetic. A survey of interval-based libraries, focusing on these features, is given.