Key points are not available for this paper at this time.
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 nmnbertheoretic conjecture, a large subclass of the negative classes is shown to possess a canonical form.
B. F. Caviness (Wed,) studied this question.