Dp 180 en
MuPAD Library for Symbolic Computation with Polynomial Matrices
Author: Augusta Petr
This diploma thesis comes with a freely available library for symbolic computation with polynomials and polynomial matrices, named Polmat. The Polmat library is developed for MuPAD, which is an easily accessible efficient computer algebra system and programming language. MuPAD does not contain functions used for design and analysis of control systems, therefore, an endeavour to make them arose. Solvers for linear equations with polynomials and polynomial matrices, spectral factorisation of polynomials and polynomial matrices and others have been implemented. This document contains introduction into polynomial matrix computation and basic usage of computer algebra systems, syntax of implemented functions and procedures, description of used methods, demonstrative examples and results of computational testing.