ISSAC 2002: proceedings of the 2002 international symposium on symbolic and algebraic computation : JULY 07-10, 2002, UNIVERSITE DE LILLE, LILLE, FRANCE (ACM,Inc, 2002)