Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation - Giusti, Marc. (ACM,)