Title: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation