ISSAC 2000: proceedings of the 2000 international symposium on symbolic and algebraic computation : 7-9 august 2000, University of St. Andrews, Scotland - Traverso, Carlo (ACM,Inc, 2000)