Proceedings of the third ACM symposium on Symbolic and algebraic computation