Author: Calif.) Symposium on Symbolic and Algebraic Manipulation (2nd 1971 Los Angeles