Author: International Symposium on Symbolic and Algebraic Computation (2002 Lille, France)