Proceedings of the 2001 international symposium on Symbolic and algebraic computation
ACM Digital Library