Rules for Computer Simplification of the Formulas in Operator Model Theory and Linear Systems
J. William Helton, John J. Wavrik · Birkhäuser Basel eBooks · 1994
This article formulates and treats questions in operator theory arising from computer simplification of formulas commonly found in the study of operator models. Operator model theory originated with Moshe Livsic and subsequently became one of the main branches of operator theory. In studying a particular operator model polynomials in certain expressions occur repeatedly. This makes it a natural area for exploring computer algebra simplification. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.