Proceedings of the second ACM symposium on Symbolic and algebraic manipulation