Proceedings of the 1996 international symposium on Symbolic and algebraic computation