D. P. Brown, Calculus and Mathematica, 1991.

H. Collavizza, F. Delobel, and M. Rueher, Comparing Partial Consistencies, Reliable Computing, vol.5, issue.3, pp.213-228, 1999.
DOI : 10.1007/978-94-017-1247-7_17

R. Debruyne and C. Bessì-ere, Some Practicable Filtering Techniques for the Constraint Satisfaction Problem, Proc. IJCAI, pp.412-417, 1997.

P. Flajolet, P. Sipala, and J. Steyaert, Analytic variations on the common subexpression problem, Proc. Automata, Languages, and Programming, pp.220-334, 1990.
DOI : 10.1007/BFb0032034
URL : https://hal.archives-ouvertes.fr/inria-00075348

L. Granvilliers, E. Monfroy, and F. Benhamou, Symbolic-interval cooperation in constraint programming, Proceedings of the 2001 international symposium on Symbolic and algebraic computation , ISSAC '01, pp.150-166, 2001.
DOI : 10.1145/384101.384123

A. Heck, Introduction to Maple, 2003.

Y. Lebbah, ContributionàContributionà la Résolution de Contraintes par Consistance Forte, 1999.

O. Lhomme, Consistency Tech. for Numeric CSPs, IJCAI, pp.232-238, 1993.

]. Merlet, ALIAS : An Algorithms Library for Interval Analysis for Equation Systems, 2000.

J. Merlet, Interval Analysis and Robotics, Symp. of Robotics Research, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00001152

S. Muchnick, Advanced Compiler Design and Implem, 1997.

A. Neumaier, Interval Methods for Systems of Equations, 1990.
DOI : 10.1017/CBO9780511526473

H. Schichl and A. Neumaier, Interval Analysis on Directed Acyclic Graphs for Global Optimization, Journal of Global Optimization, vol.149, issue.1&2, pp.541-562, 2005.
DOI : 10.1007/s10898-005-0937-x

G. Trombettoni and G. Chabert, Constructive Interval Disjunction, Proc. CP'07, pp.635-650, 2007.
DOI : 10.1007/978-3-540-74970-7_45
URL : https://hal.archives-ouvertes.fr/hal-00936654

X. Vu, H. Schichl, and D. Sam-haroud, Using directed acyclic graphs to coordinate propagation and search for numerical constraint satisfaction problems, 16th IEEE International Conference on Tools with Artificial Intelligence, pp.72-81, 2004.
DOI : 10.1109/ICTAI.2004.118