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