Parallel Implementation of Interval Analysis for Equations Solving

International audienceALIAS is a C++ library implementing interval analysis and constraint programming methods for studying and solving set of equation over the reals. In this paper, we describes a distributed implementation of the library