![[ACM Press the 39th International Symposium - Kobe, Japan (2014.07.23-2014.07.25)] Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14 - Mathematics by machine]()
[ACM Press the 39th International Symposium - Kobe, Japan (2014.07.23-2014.07.25)] Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14 - Mathematics by machineArai, Noriko H.; Matsuzaki, Takuya; Iwane, Hidenao; Anai, Hirokazu · 2014