PM

"PM, A System for Polynomial Manipulations", G. E. Collins, CACM 9(8):578-589 (Aug 1966).