Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation