1. Abbott, J., Bigatti, A.M., Robbiano, L.: CoCoA: a system for doing Computations in Commutative Algebra. Available via http://cocoa.dima.unige.it.
2. Bardet, M.: Étude des systèmes algébriques surdéterminés. Applications aux codes correcteurs et à la cryptographie. Université Pierre et Marie Curie - Paris VI, (2004)
3. Bardet, M., Faugère, J-C., Salvy, B.: On the complexity of Gröbner basis computation of semi-regular overdetermined algebraic equations. In: Proceedings of the International Conference on Polynomial System Solving, (2004)
4. Bardet, M., Faugère, J-C., Salvy, B.: Complexity of Gröbner basis computation for semi-regular overdetermined sequences over
$$\mathbb {F}_2$$
with solutions in
$$\mathbb {F}_2$$
. INRIA Research Report 5049 (2003) Available via https://hal.inria.fr/inria-00071534
5. Bardet, M., Faugère, J-C., Salvy, B., Yang, B-Y.: Asymptotic behaviour of the degree of regularity of semi-regular polynomial systems. In: Proceedings of MEGA 2005, Eighth International Symposium on Effective Methods in Algebraic Geometry, (2005)