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