Author: International Symposium on Symbolic and Algebraic Computation by Computers (2nd 1984 Wakō-shi, Japan)