T. Becker and V. Weispfenning, Gröbner Bases-A Computational Approach to Commutative Algebra, 1993.

L. Bröcker, On symmetric semialgebraic sets and orbit spaces, Singularities Symposium-Lojasiewicz, vol.70, pp.37-50, 1996.

J. Cimpri?, S. Kuhlmann, and C. Scheiderer, Sums of squares and moment problems in equivariant situations, Trans. Amer. Math. Soc, vol.361, issue.2, pp.735-765, 2009.

D. Cox, J. Little, and D. O'shea, Using algebraic geometry, volume 185 of Graduate Texts in Mathematics, 2005.

D. Cox, J. Little, and D. O'shea, Ideals, varieties, and algorithms. Undergraduate Texts in Mathematics, An introduction to computational algebraic geometry and commutative algebra, 2015.

W. Decker, G. Greuel, G. Pfister, and H. Schönemann, Singular 4-1-1-A computer algebra system for polynomial computations, 2018.

H. Derksen and G. Kemper, Computational invariant theory, p.130, 2015.

M. Fels and P. J. Olver, Moving coframes. II. Regularization and theoretical foundations, Acta Applicandae Mathematicae, vol.55, issue.2, pp.127-208, 1999.

K. Gatermann, Semi-invariants, equivariants and algorithms, Appl. Algebra Engrg. Comm. Comput, vol.7, issue.2, pp.105-124, 1996.

K. Gatermann, Computer algebra methods for equivariant dynamical systems, Lecture Notes in Mathematics, vol.1728, 2000.

E. Hubert and I. Kogan, Rational invariants of a group action. Construction and rewriting, Journal of Symbolic Computation, vol.42, issue.1-2, pp.203-217, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00839283

E. Hubert and I. Kogan, Smooth and algebraic invariants of a group action. Local and global constructions, Foundations of Computational Mathematics, vol.7, issue.4, pp.355-393, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00198857

E. Hubert and G. Labahn, Rational invariants of scalings from Hermite normal forms, ISSAC 2012, pp.219-226, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00657991

E. Hubert and G. Labahn, Scaling invariants and symmetry reduction of dynamical systems, Foundations of Computational Mathematics, vol.13, issue.4, pp.479-516, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00668882

I. Isaacs, Algebra: a graduate course, Graduate Studies in Mathematics, vol.100, 2009.

M. Jari´cjari´c, L. Michel, and R. Sharp, Zeros of covariant vector fields for the point groups: invariant formulation, J. Physique, vol.45, issue.1, pp.1-27, 1984.

D. Kapur, Y. Sun, and D. Wang, An efficient method for computing comprehensive Gröbner bases, Journal Symbolic Computation, vol.52, pp.124-142, 2013.

D. Lazard and F. Rouillier, Solving parametric polynomial systems, Journal of Symbolic Computation, vol.42, issue.6, pp.636-667, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00070678

A. Montes and M. Wibmer, Gröbner bases for polynomial systems with parameters, J. Symbolic Comput, vol.45, issue.12, pp.1391-1425, 2010.

A. Montes and M. Wibmer, Software for discussing parametric polynomial systems: the Gröbner cover, Mathematical software-ICMS 2014, vol.8592, pp.406-413, 2014.

G. Moroz, Complexity of the resolution of parametric systems of polynomial equations and inequations, pp.246-253, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01351450

G. Moroz, Properness defects of projection and minimal discriminant variety, J. Symbolic Comput, vol.46, issue.10, pp.1139-1157, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01148309

J. Müller-quade and T. Beth, Calculating generators for invariant fields of linear algebraic groups, Applied algebra, algebraic algorithms and error-correcting codes, vol.1719, 1999.

, of Encyclopaedia of Mathematical Sciences, vol.55, 1994.

V. Popov, Sections in invariant theory, The Sophus Lie Memorial Conference (Oslo, 1992), pp.315-361, 1994.

V. Popov and E. Vinberg, Invariant theory, Algebraic geometry. IV, pp.122-278, 1994.

M. Rosenlicht, Some basic theorems on algebraic groups, American Journal of Mathematics, vol.78, pp.401-443, 1956.

B. Sturmfels, Algorithms in invariant theory. Texts and Monographs in Symbolic Computation, 1993.

M. Wibmer, Gröbner bases for families of affine or projective schemes, Journal of Symbolic Computation, vol.42, issue.8, pp.803-834, 2007.

P. Worfolk, Zeros of equivariant vector fields: algorithms for an invariant approach, J. Symbolic Comput, vol.17, issue.6, pp.487-511, 1994.