Proceedings of the 36th international symposium on Symbolic and algebraic computation
ACM Digital Library