Proceedings of the international symposium on Symbolic and algebraic computation