ISSAC 2001: proceedings of the 2001 international symposium on symbolic and algebraic computation : july 22-25, 2001, London, Ontario, Canada - Mourrain, Bernard (ACM,Inc, 2001)