Rules for Computer Simplification of the Formulas in
Operator Model Theory and Linear Systems

 with J.W. Helton
Operator Theory:  Advances and Applications, Vol. 73 (1994), 325-354.

view/download (ps) 

This is the preliminary paper on the use of the non-commutative Gröbner Basis algorithm for simplification of expressions in operator theory. It is directed at an audience of engineers. It provides an introduction to the Gröbner Basis technology, some of the earlier results on bases for the models examined, and some perspective on the infinite bases found in these models.