Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
ACM Digital Library