A review of algebraic manipulative programs and their application

This paper describes the applications area of computer programs that carry out formal algebraic manipulation. The first part of the paper is tutorial and severed typical problems are introduced which can be solved using algebraic manipulative systems. Sample programs for the solution of these problems using several algebra systems are then presented. Next, two more difficult examples are used to introduce the reader to the true capabilities of an algebra program and these are proposed as a means of comparison between rival algebra systems. A brief review of the technical problems of algebraic manipulation is given in the final section