Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
ACM Digital Library