Proceedings of the 2007 international symposium on Symbolic and algebraic computation

by Association for Computing Machinery.