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).
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:
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.