Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation
scientific article; zbMATH DE number 7572328