IEEE Standard 754 for Binary Floating-Point Arithmetic, 1985. ,
Interval arithmetic yields efficient dynamic filters for computational geometry, Discrete Applied Mathematics, vol.109, issue.1-2, pp.25-47, 2001. ,
DOI : 10.1016/S0166-218X(00)00231-6
Tricks or Treats with the Hilbert Matrix, The American Mathematical Monthly, vol.90, issue.5, pp.301-312, 1983. ,
DOI : 10.2307/2975779
Interval arithmetic: From principles to implementation, Journal of the ACM, vol.48, issue.5, pp.1038-1068, 2001. ,
DOI : 10.1145/502102.502106
Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control and Robotics, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00845131
FILIB++ Interval Library ,
Interval Analysis, 1966. ,
MPFI 1.0, Multiple Precision Floating-Point Interval Library ,
C++ templates: the Complete Guide, 2002. ,
The Extended Real Interval System. Manuscript, 1998. ,