ISSAC 2014 Kobe, Japan, July 23 - 25, 2014 : proceedings of the 39th International Symposium on Symbolic and Algebraic Computation / - Nabeshima, Katsusuke. (ACM,)