UniCalcLIN: a linear constraint solver for the UniCalc system
<|reference_start|>UniCalcLIN: 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.<|reference_end|>
@article{petrov2006unicalc.lin:,
    title={UniCalc.LIN: a linear constraint solver for the UniCalc system},
    author={E. Petrov, Yu. Kostov, E. Botoeva},
    journal={arXiv preprint arXiv:cs/0604038},
    year={2006},
    archivePrefix={arXiv},
    eprint={cs/0604038},
    primaryClass={cs.MS cs.AI}
}