On Canonical Forms and Simplification
This paper deals with the simplification problem of symbolic mathematics. The notion of canonical form is defined and presented as a well-defined alternative to the concept of simplified form. Following Richardson it is shown that canonical forms do not exist for sufficiently rich classes of mathematical expressions. However, with the aid of a nmnber- theoretic conjecture, a large subclass of the negative classes is shown to possess a canonical form.