Computer simplification of formulas in linear systems theory

Currently, the three most popular commercial computer algebra systems are Mathematica, Maple, and MACSYMA. These systems provide a wide variety of symbolic computation facilities for commutative algebra and contain implementations of powerful algorithms in that domain. The Grobner basis algorithm, for example, is an important tool used in computation with commutative algebras and in solving systems of polynomial equations. On the other hand, most of the computation involved in linear control theory is performed on matrices, which do not commute, and Mathematica, Maple, and MACSYMA are weak in the area of noncommutative operations. The paper reports on applications of a powerful tool, a noncommutative version of the Grobner basis algorithm. The commutative version of this algorithm is implemented in most major computer algebra packages. The noncommutative version is relatively new