1 paper
E. Petrov, Yu. Kostov, E. Botoeva
In this short paper we present a linear constraint solver for the UniCalc system, an environment for reliable solution of mathematical modeling problems.