1 research outputs found
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