10 citations · 17 across the 9 of their papers we have counts for
1 paper · 1 filter
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.