论文信息 - On Canonical Forms and Simplification

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.

B. F. Caviness

[1] Alan J. Perlis,et al. An extension to ALGOL for manipulating formulae , 1964, CACM.

[2] R. R. Fenichel. AN ON-LINE SYSTEM FOR ALGEBRAIC MANIPULATION , 1966 .

[3] W. S. Brown. Rational Exponential Expressions and a Conjecture Concerning π and e , 1969 .

[4] Renato Iturriaga. CONTRIBUTIONS TO MECHANICAL MATHEMATICS. , 1967 .

[5] Journal of the Association for Computing Machinery , 1961, Nature.

[6] Daniel Richardson,et al. Some undecidable problems involving elementary functions of a real variable , 1969, Journal of Symbolic Logic.

[7] D. Richardson. Solution of the identity problem for integral exponential functions , 1969 .

[8] Hilary Putnam,et al. Reductions of Hilbert's Tenth Problem , 1958, J. Symb. Log..

[9] Alan J. Perlis,et al. A DEFINITION OF FORMULA ALGOL. , 1966 .

[10] H. Putnam,et al. The Decision Problem for Exponential Diophantine Equations , 1961 .

[11] R. G. Tobey,et al. Automatic simplification in FORMAC , 1965, AFIPS '65 (Fall, part I).

[12] Joel Moses,et al. Symbolic integration: the stormy decade , 1966, CACM.

[13] G. Rousseau. A Decidable Class of Number Theoretic Equations , 1966 .