A reliable linear constraint solver for the UniCalc system. (English) Zbl 1249.65091
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 |