Simplification of algebraic expression by multiterm rewriting rules
Tateaki Sasaki · 1986
In simplifying an algebraic expression, human often applies multiterm rewriting rules cleverly. This paper describes a simple multiterm rewriting algorithm which simulates human simplification naively. The algorithm is simple but seems to be quite useful for many applications.