Shary's programs

Computer codes

The web-page presents some computer codes designed by Sergey P. Shary for the solution of various problems related to interval linear systems of equations. All of them have uniform interface and use the same data format.
The dimension of the system, the required residual of the approximate solution, limitation on the iteration number as well as the interval linear system to be solved are conveyed into the executable codes through a special data file. The name of the data file should be specified in the command line after the name of the executable code. When running without the data file, the codes output short information about themselves.

Computing formal solutions to interval linear systems   Ax = b   in Kaucher arithmetic by subdifferential Newton method with a special starting approximation.
Source C-file, Executable file for 32-bit Windows, Executable file for 64-bit Windows, Linux executable file, sample data file.

Computing formal solutions to interval linear systems   Ax = b   in Kaucher arithmetic by a stationary single-step iterative method with modified real splitting of the matrix.
Source C-file, Linux executable, sample data file.

Computing formal solutions to interval linear systems   x = Cx + b   in Kaucher arithmetic by subdifferential Newton method with a special starting approximation.
Source C-file, Windows execuatble file, sample data file.

Computing formal solutions to interval linear systems   Gx = (G-A)x + b   in Kaucher arithmetic by subdifferential Newton method with a special starting approximation.
Source C-file, Windows executable file, sample data file.

Computing enclosures of the united solution set to interval linear systems by «Spanish version» of the formal approach. The workhorse is the same — subdifferential Newton method.
Source C-file, Windows executable file, sample data file.

All the programs are "public domain".