International Symposium on Symbolic and Algebraic Computation (2001 London, Ontario, Canada)