Newsgroups: comp.constraints
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!news.bluesky.net!news.sprintlink.net!EU.net!news.eunet.fi!KremlSun!tsiren!bamby.iis.nsk.su!semenov
From: semenov@iis.nsk.su (Alexander L. Semenov)
Subject: UniCalc solver
Sender: usenet@itfs.nsk.su
Organization: Infoteka
Message-ID: <semenov.3@iis.nsk.su>
X-Nntp-Posting-Host: bamby.iis.nsk.su
Date: Sun, 11 Jun 1995 08:55:23 GMT
Lines: 48


I'd like to present the UniCalc solver, developed in the Russian
Institute of Artificial Intelligence.

UniCalc is based on some apparatus, which can be regarded as a kind of
interval constraint propagation, and is designed to handle arbitrary
systems of algebraic and algebraic-differential equations and
inequalities, possibly with imprecise or interval data. It can handle both
real-valued and integer-valued problems, as well as problems involving
variables of both types. UniCalc is a multi-windowed integrated
environment including an editor, setup facilities, interval graphics,
symbolic differentiation subsystem, and a set of built-in methods for
solving differential equations. It contains special tools for root
searching (based on branch-and bound) and solving systems of linear
equations (which uses the symbolical Gaussian elimination).

The following types of problems can be solved with UniCalc: linear and
nonlinear systems of equations and inequalities, problems with imprecise
or interval data, integer-valued problems, optimization problems, systems
of differential and algebraic-differential equations.

At present, versions of UniCalc have been implemented for IBM PC
compatible computers running MS DOS or MS Windows version 3.X, and the
UniCalc engine without an interface is availble on Sun workstations.

The IBM PC demo-version of UniCalc (without graphics and differential
equations) for MS DOS is placed in the anonymous ftp area of the sites
      interval.usl.edu
   in the directory       pub/interval_math/unicalc_demo
and
      ftp.rus.uni-stuttgart.de
   in the directory       pub/systems/pc/windows/education

The software and additional information are compressed with: PKZIP -P -R.

One can find more details how to use UniCalc in the directory  MOVIE of the 
packed information.

Please, contact me if you have any questions.

Thank you for attention.

Alexander Semenov

------------------------------------------------------
Novosibirsk Division of the Russian Research Institute of AI
e-mail: semenov@iis.nsk.su
fax:    +7 - 383 - 2 32 34 94
