Computer simplification of formulas in linear systems theory | IEEE Journals & Magazine | IEEE Xplore