A. Ieee, IEEE Standard 754 for Binary Floating-Point Arithmetic, 1985.

. Boost, The Boost C++ Libraries

H. Brönnimann, C. Burnikel, and S. Pion, 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

T. Hickey, Q. Ju, and M. H. Van-emden, Interval arithmetic: From principles to implementation, Journal of the ACM, vol.48, issue.5, pp.1038-1068, 2001.
DOI : 10.1145/502102.502106
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.213

L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control and Robotics, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00845131

M. Lerch, G. Tischler, J. Wolff-von-gudenberg, W. Hofschuster, and W. Krämer, FILIB++ Interval Library

R. E. Moore, Interval Analysis, 1966.

N. Revol and F. Rouillier, MPFI 1.0, Multiple Precision Floating-Point Interval Library

D. Vandevoorde and N. Josuttis, C++ templates: the Complete Guide, 2002.

G. and W. Walster, The Extended Real Interval System. Manuscript, 1998.