1 citations · 1 across the 4 of their papers we have counts for
Showing 2006 · cs.MSShow all
2 papers · 2 filters
cs.MS2006
UniCalc.LIN: a linear constraint solver for the UniCalc system
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.
cs.MS2006
Evaluation of interval extension of the power function by graph decomposition
Evgueni Petrov
The subject of our talk is the correct evaluation of interval extension of the function specified by the expression x^y without any constraints on the values of x and y. The core o…