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

J. Cimpri?, S. Kuhlmann, and C. Scheiderer, Sums of squares and moment problems in equivariant situations, Transactions of the American Mathematical Society, vol.361, issue.02, pp.735-765, 2009.
DOI : 10.1090/S0002-9947-08-04588-1

D. Cox, J. Little, and D. Shea, Ideals, varieties, and algorithms. Undergraduate Texts in Mathematics An introduction to computational algebraic geometry and commutative algebra, 1992.

D. Cox, J. Little, and D. Shea, Using algebraic geometry, Graduate Texts in Mathematics, vol.185, 2005.
DOI : 10.1007/978-1-4757-6911-1

H. Derksen and G. Kemper, Computational invariant theory, Encyclopaedia of Math. Sc, vol.130, 2015.
DOI : 10.1007/978-3-662-04958-7

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

K. Gatermann, Semi-Invariants, equivariants and algorithms, Applicable Algebra in Engineering, Communication and Computing, vol.1, issue.2, pp.105-124, 1996.
DOI : 10.1007/BF01191379
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.3614

K. Gatermann, Computer algebra methods for equivariant dynamical systems, Lecture Notes in Mathematics, vol.1728, 2000.
DOI : 10.1007/BFb0104059

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.
DOI : 10.1016/j.jsc.2006.03.005
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.
DOI : 10.1007/s10208-006-0219-0
URL : https://hal.archives-ouvertes.fr/inria-00198857

E. Hubert and G. Labahn, Rational invariants of scalings from Hermite normal forms, Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC '12, pp.219-226, 2012.
DOI : 10.1145/2442829.2442862
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.12, issue.2, pp.479-516, 2013.
DOI : 10.1007/s10208-013-9165-9
URL : https://hal.archives-ouvertes.fr/hal-00668882

M. V. Jari´cjari´c, L. Michel, and R. T. Sharp, Zeros of covariant vector fields for the point groups : invariant formulation, Journal de Physique, vol.45, issue.1, pp.1-27, 1984.
DOI : 10.1051/jphys:019840045010100

M. Kalkbrener, On the Stability of Gr??bner Bases Under Specializations, Journal of Symbolic Computation, vol.24, issue.1, pp.51-58, 1997.
DOI : 10.1006/jsco.1997.0113

D. Kapur, Y. Sun, and D. Wang, An efficient method for computing comprehensive Gr??bner bases, Journal of Symbolic Computation, vol.52, pp.124-142, 2013.
DOI : 10.1016/j.jsc.2012.05.015

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

A. Montes and M. Wibmer, Gr??bner bases for polynomial systems with parameters, Journal of Symbolic Computation, vol.45, issue.12, pp.1391-1425, 2010.
DOI : 10.1016/j.jsc.2010.06.017

A. Montes and M. Wibmer, Software for Discussing Parametric Polynomial Systems: The Gr??bner Cover, Mathematical software?ICMS 2014, pp.406-413, 2014.
DOI : 10.1007/978-3-662-44199-2_62
URL : http://hdl.handle.net/2117/24349

G. Moroz, Complexity of the resolution of parametric systems of polynomial equations and inequations, Proceedings of the 2006 international symposium on Symbolic and algebraic computation , ISSAC '06, pp.246-253, 2006.
DOI : 10.1145/1145768.1145810
URL : https://hal.archives-ouvertes.fr/hal-01351450

G. Moroz, Properness defects of projection and minimal discriminant variety, Journal of Symbolic Computation, vol.46, issue.10, pp.1139-1157, 2011.
DOI : 10.1016/j.jsc.2011.05.013
URL : https://hal.archives-ouvertes.fr/hal-01148309

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, issue.2, pp.401-443, 1956.
DOI : 10.2307/2372523

B. Sturmfels, Algorithms in invariant theory. Texts and Monographs in Symbolic Computation, 1993.
DOI : 10.1007/978-3-7091-4368-1

V. Weispfenning, Comprehensive Gr??bner bases, Journal of Symbolic Computation, vol.14, issue.1, pp.1-29, 1992.
DOI : 10.1016/0747-7171(92)90023-W

M. Wibmer, Gr??bner bases for families of affine or projective schemes, Journal of Symbolic Computation, vol.42, issue.8, pp.803-834, 2007.
DOI : 10.1016/j.jsc.2007.05.001

P. A. Worfolk, Zeros of equivariant vector fields: Algorithms for an invariant approach, Journal of Symbolic Computation, vol.17, issue.6, pp.487-511, 1994.
DOI : 10.1006/jsco.1994.1031