1 citations · 1 across the 4 of their papers we have counts for
4 papers
Algorithm for Evaluation of the Interval Power Function of Unconstrained Arguments
Evgueni Petrov
We describe an algorithm for evaluation of the interval extension of the power function of variables x and y given by the expression x^y. Our algorithm reduces the general case to…
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.
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…
Constraint-based analysis of composite solvers
Evgueni Petrov, Eric Monfroy
Cooperative constraint solving is an area of constraint programming that studies the interaction between constraint solvers with the aim of discovering the interaction patterns tha…