Applications developed at the Institute of Computer Science

Fully supported by the MSTeP project

 

J. Rohn, Verification software in MATLAB/INTLAB (2007). A system of programs written in INTLAB (a toolbox of MATLAB) for solving linear and quadratic problems with verified accuracy. Included are files e.g. for verified linear programming, verified convex quadratic programming, verified positive definiteness or Hurwitz stability of interval matrices, verified inverse interval matrix, verified backward error analysis for eigenpairs, etc. Most of the programs posted were supported by the MSTeP project.

 

D. O'Leary, Z. Strakos and P. Tichy, MATLAB software for the paper ``On Sensitivity of Gauss-Christoffel Quadrature'' (16.03.2007). Recently we investigated sensitivity of Gauss-Christoffel quadrature with respect to perturbations of the distribution function. The presented Matlab codes were used to compute experiments in the quoted paper.

 

J. Duintjer Tebbens and P. Schlesinger, Sparse LDA code (Autumn 2006). This is the MATLAB implementation of an algorithm for classification with FLDA designed for the high-dimensional/small sample size setting, exploiting among others sparsity. It is described in detail in our paper ``Improving Implementation of Linear Discriminant Analysis for the High Dimension/Small Sample Size Problem''.

 

M. Tuma, AISM codes (2005). The following AISM FORTRAN codes were prepared jointly with Rafael Bru, Jose Marin and Jose Mas in Fall 2005: Left-looking AISM preconditioner for a nonsymmetric matrix, Left-looking infinite AISM preconditioner for a nonsymmetric matrix (having two triangular factors), Left-looking AISM preconditioner for a nonsymmetric matrix with recurrences based on three vectors and Right-looking AISM preconditioner for a nonsymmetric matrix (having two triangular factors). The links contain a test driver with all its dependencies, simple makefile.

Partly supported by the MSTeP project

 

M. Tuma, Solution of augmented symmetric indefinite systems (2000 - 2008). Solving augmented symmetric indefinite systems by preconditioned iterative methods has been applied to flow and transport of chemicals in porous media in long-lasting collaboration with the mathematical modelling group of DIAMO, state enterprise. Some of the codes were further developed and made available thanks to the support of the MSTeP project. The SI2 code can be found here.