Author: International Symposium on Symbolic and Algebraic Computation (1991 Bonn, Germany)