1. 4ti2 team. 4ti2—A software package for algebraic, geometric and combinatorial problems on linear spaces. Available at www.4ti2.de.
2. Finite generation of symmetric ideals;Aschenbrenner;Trans. Am. Math. Soc.,2007
3. What can be computed in algebraic geometry?;Bayer,1993
4. Equivariant lattice generators and Markov bases;Kahle,2014