Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation
scientific article; zbMATH DE number 6761598