Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation - Yap, Chee K. (Association for Computing Machinery)