Author: International Symposium on Symbolic and Algebraic Computation (1990 Tokyo, Japan)