ISSAC 2002: July 07-10, 2002, Universite de Lille, Lille, France : proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation - Mora, Teo (ACM Press, 2002)