Skip to main content

Showing 1–1 of 1 results for author: Kostov, Y

.
  1. arXiv:cs/0604038  [pdf, ps, other

    cs.MS cs.AI

    UniCalc.LIN: a linear constraint solver for the UniCalc system

    Authors: E. Petrov, Yu. Kostov, E. Botoeva

    Abstract: In this short paper we present a linear constraint solver for the UniCalc system, an environment for reliable solution of mathematical modeling problems.

    Submitted 10 April, 2006; originally announced April 2006.

    Comments: rejected by the programm committee of the conforence on Perspective of System Informatics held in Novosibirsk, Russian Federation July 2006