1. Abbott, J., Bigatti, A., Lagorio, G. CoCoA-5: A system for doing Computations in Commutative Algebra. Available at: http://cocoa.dima.unige.it.
2. Decker, W., Greuel, G.M., Pfister, G., Schönemann, H. (2015). Singular 4-0-2 — A computer algebra system for polynomial computations. http://www.singular.uni-kl.de.