Embedded Systems Group (ES)

Matrix Algorithms

Matrix Algorithms

This tool offers algorithms for matrices, in particular, one can compute a QR decomposition of a matrix, compute its eigenvalues, its inverse matrix, and solve the corresponding homogeneous or heterogeneous linear equation system. For a given matrix A, the homogeneous linear equation system is A*x=0 where the heterogenous one is A'*x=b where A=(A'|b).

matrix
action

Roots of Polynomials

With the tool below, one can compute the roots of a polynomial. The tool computes the companion matrix of the polynomial, i.e., a matrix whose characteristic polynomial is the given polynomial (after normalizing its leading coefficient to 1). The roots are then computed as eigenvalues of that matrix. The input are the coefficients of the polynomial; i.e., x^4-10x^3+35x^2-50x+24 in the case below:

polynomial
action

Linear Inequalities

This tool implements algorithms for checking satisfiability of a given set of linear inequalities: Given linear inequalities over rational numbers with lower and upper bounds (that can be also -oo and +oo), it will check whether there is a solution of rational numbers. To check satisfiability, one can choose between the Simplex algorithm (which first computes a solution on the rationals and then narrows it to an integer solution) and the Fourier-Motzkin variable elimination method.

matrix
compute rational solution using the Simplex algorithm
compute integer solution using the Simplex algorithm
compute rational solution using Fourier-Motzkin elimination