ISSAC 2002 - International symposium on symbolic and algebraic computation (2002 France); Mora, Teo ed. (New York, 2002)