International Symposium on Symbolic and Algebraic Computation (ISSAC 2001)