1. A criterion for detecting m-regularity;Bayer;Invent. Math.,1987
2. The Magma algebra system. I. The user language;Bosma;J. Symb. Comput.,1997
3. Caminata, Alessio, Gorla, Elisa, 2017. Solving multivariate polynomial systems and an invariant from commutative algebra. Preprint.
4. Efficient algorithms for solving overdefined systems of multivariate polynomial equations;Courtois,2000
5. Inverting HFE systems is quasi-polynomial for all fields;Ding,2011