A Poly-Algorithmic Approach to Simplifying Elementary Functions

摘要

Simplification has been long recognised to be a fundamental problem within computer algebra. However, even for the class of elementary functions, it has not been resolved in a satisfactory way. Algorithms were presented in [4, 2] to solve this problem, and it was seen that both methods had their own strengths and weaknesses. Also, not all functions could be handled by either of the methods alone. The current paper continues this line of development by combining the two methods, and reporting on progress made with the various sub-algorithms involved.