Dear Spiral User, There is still no access to Master’s dissertations until further notice. We apologise for any inconvenience this may cause. Please contact your subject librarian for further assistance. Kind Regards, Spiral Team.
 
UniCalc.LIN: a linear constraint solver for the UniCalc system
File(s)
0604038v1.pdf (70.08 KB)
Working paper
Author(s)
Petrov, E
Kostov, Yu
Botoeva, E
Type
Working Paper
Abstract
In this short paper we present a linear constraint solver for the UniCalc
system, an environment for reliable solution of mathematical modeling problems.
Date Issued
2006-04-10
Citation
2006
URI
URL
Publisher
arXiv
Copyright Statement
© 2006 The Author(s).
Identifier
http://arxiv.org/abs/cs/0604038v1
Subjects
cs.MS
cs.MS
cs.AI
Notes
rejected by the programm committee of the conforence on Perspective of System Informatics held in Novosibirsk, Russian Federation July 2006
Publication Status
Published