Welcome!

On this site we present the web-version of UniCalc - the universal solver of mathematical problems.

Solver uses the unique technology of U-calculations (underdetermined calculations) that allows to solve problems unsolvable for other algorithms. More information on purpose and possibilities of the solver UniCalc as well as the description of the model specification language can be found in the corresponding sections of the site.

How to use

For maximum convenience during working with web-version of the solver UniCalc we recommend you to use browser Microsoft Internet Explorer version 5.0 and above; screen resolution - 1024 x 768 and above.

To start calculations you have to:

Specify text of the model Enter calculation parameters Click the button  [Solve]

The given examples will be helpful in studying different constructions of the model specification language.

Basic definitions

U-value is a set of possible exact values. I.e. value of every variable in system is not exact and is represented by a numerical set (in the current version of system it is integer or real interval).

Model is a set of mathematical expressions, separated by semicolons. Each expression is interpreted as a constraint on values of composing variables.

Calculation parameters

Regime Solution is launching algorithm of the U-calculations. It is the simple compression of the bounds of the intervals of variable values based on the given system of constraints.

Regime Root search is launching a special algorithm of searching exact variable values of the model which make the given system of constraints compatible.

Precision is the maximum length of the real interval that is interpreted by system as the "exact value".

Parameter Roots defines the upper bound for the number of sought roots. On reaching that bound root searching is stopped.

Trigonometric bounds are argument bounds for trigonometrical functions.

Linear transformation is a special regime for the model optimization (interval method of Gauss). It is recommended to turn it on for solving a linear system of constraints.

Simple view of results represents calculation results in simplified view (it depends on the parameter Precision).

Limitations of the web-version

The web-version consists of two parts - demo version and full version. For full version authorization is required.

The web-version has time limitation for calculations: 5 seconds for demo version and 30 seconds for full version. Besides, demo version has limitation on the number of the variables used in model: 20. Limitations on the number of sought roots are: 5 for demo version and 10 for full version.