Author: International Symposium on Symbolic and Algebraic Computation (1994 Oxford, England)