UniCalc.LIN: a linear constraint solver for the UniCalc system
Mathematical Software
2007-05-23 v1 Artificial Intelligence
Abstract
In this short paper we present a linear constraint solver for the UniCalc system, an environment for reliable solution of mathematical modeling problems.
Keywords
Cite
@article{arxiv.cs/0604038,
title = {UniCalc.LIN: a linear constraint solver for the UniCalc system},
author = {E. Petrov and Yu. Kostov and E. Botoeva},
journal= {arXiv preprint arXiv:cs/0604038},
year = {2007}
}
Comments
rejected by the programm committee of the conforence on Perspective of System Informatics held in Novosibirsk, Russian Federation July 2006