Automatic simplification in FORMAC
Robert G. Tobey, Rusty Bobrow, Sandra Zilles · 1965
Simplification is a central and basic operation in the manipulation of mathematical expressions. Indeed, much of the tedious algebra that plagues scientists and engineers involves the time-consuming application of simplifying transformations to unwieldly mathematical expressions. It seems obvious, conceptually, that some simplifying transformations can be applied automatically to arbitrary expressions. However, there are transformations that require special handling; they simplify some expressions and complicate others.