Proceedings of the 2007 international symposium on Symbolic and algebraic computation by Association for Computing Machinery. | Menrva Books