Author: Switzerland) International Symposium on Symbolic and Algebriac Computation (1996 : Zurich