Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation
ACM Digital Library