This thesis describes an approach to the problem of programming a computer for algebraic manipulation. The motivating threads of the work are first picked up in Chapter I. To test the descriptive intuitions urged normatively in Chapter I, an experimental system was actually implemented. This system is described in Chapter II and in the Appendices.
