id: 06024057
dt: j
an: 06024057
au: Botoeva, Elena; Kostov, Yuri V.; Petrov, Evgueni S.
ti: A reliable linear constraint solver for the UniCalc system.
so: Bull. Novosib. Comput. Cent., Ser. Comput. Sci. 24, 45-55 (2006).
py: 2006
pu: NCC Publisher, Novosibirsk; Russian Academy of Sciences, Siberian Branch,
    Novosibirsk
la: EN
cc: 
ut: linear relaxation; reliable enclosure; interval bounds; UniCalc system;
    mathematical modeling
ci: 
li: 
ab: Summary: We present a linear constraint solver for the UniCalc system, an
    environment for reliable solution of problems of mathematical modeling.
rv: