ACM Symposium on Symbolic and Algebraic Computation (1981 Snowbird, Utah)