TY  - SER
AU  - Helton, J. William [and other]
TI  - Computer simplification of formulas in linear systems theory
KW  - AUTOMATIC CONTROL
KW  - CONTROL SYSTEMS
ER  -