UniCalc.LIN: a linear constraint solver for the UniCalc system
Petrov, E., Kostov, Yu., Botoeva, E.
–arXiv.org Artificial Intelligence
In this short paper we present a linear constraint solver for the UniCalc system, an environment for reliable solution of mathematical modeling problems.
arXiv.org Artificial Intelligence
Dec-1-2009