A new REDUCE model for algebraic simplification
Anthony C. Hearn · 1976
This paper shows how the general concepts of mode analysis can play a useful role in the design and implementation of programs for algebraic simplification. We utilize these ideas in presenting a new model for simplification which will be incorporated into REDUCE in the near future.