UniCalc.LIN: a linear constraint solver for the UniCalc system
In this short paper we present a linear constraint solver for the UniCalc system, an environment for reliable solution of mathematical modeling problems.
cs.MS↗
arXiv subjects
Publications and source records attributed to Yu. Kostov.
In this short paper we present a linear constraint solver for the UniCalc system, an environment for reliable solution of mathematical modeling problems.