Proceedings of the 2007 international symposium on Symbolic and algebraic computation - Wang, Dongming (Association for Computing Machinery, 2007)