ISSAC '15 proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation : July 6-9, 2015, Bath, United Kingdom / - SIGSAM, ACM. (ACM,)