UniCalc.LIN: a linear constraint solver for the UniCalc system
数学软件
2007-05-23 v1 人工智能
摘要
In this short paper we present a linear constraint solver for the UniCalc system, an environment for reliable solution of mathematical modeling problems.
引用
@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}
}
备注
rejected by the programm committee of the conforence on Perspective of System Informatics held in Novosibirsk, Russian Federation July 2006