×
Botoeva, Elena; Kostov, Yuri V.; Petrov, Evgueni S.

A reliable linear constraint solver for the UniCalc system. (English) Zbl 1249.65091

Jt. Bull. NCC IIS, Ser. Comput. Sci. 24, 45-55 (2006).
Summary: We present a linear constraint solver for the UniCalc system, an environment for reliable solution of problems of mathematical modeling.

MSC:

65F30 Other matrix algorithms (MSC2010)
65K05 Numerical mathematical programming methods
65G30 Interval and finite arithmetic

Keywords:

linear relaxation; reliable enclosure; interval bounds; UniCalc system; mathematical modeling
Cite Review PDF