Proceedings of the fourth ACM symposium on Symbolic and algebraic computation - Wang