Proceedings of the 2006 international symposium on Symbolic and algebraic computation - Trager, Barry (Association for Computing Machinery, 2006)