ACM Symposium on Symbolic and Algebraic Computation (1986 Waterloo, Ont.)