https://www.singular.uni-kl.de/ https://github.com/Singular/Singular
