I. M. Anderson and M. E. Fels, Exterior Differential Systems with Symmetry, Acta Applicandae Mathematicae, vol.6, issue.1, pp.3-31, 2005.
DOI : 10.1007/s10440-005-1136-y

R. L. Anderson, V. A. Baikov, R. K. Gazizov, W. Hereman, N. H. Ibragimov et al., CRC handbook of Lie group analysis of differential equations, 1996.

B. Beckermann, G. Labahn, and G. Villard, Normal forms for general polynomial matrices, Journal of Symbolic Computation, vol.41, issue.6, pp.708-737, 2006.
DOI : 10.1016/j.jsc.2006.02.001

G. Birkhoff, Hydrodynamics: A study in logic, fact and similitude, 1960.

P. Bridgman, Dimensional Analysis, 1931.

P. Chossat and R. Lauterbach, Methods in equivariant bifurcations and dynamical systems, volume 15 of Advanced Series in Nonlinear Dynamics, 2000.

H. Cohen, A Course in Computational Algebraic Number Theory, 1993.
DOI : 10.1007/978-3-662-02945-9

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

M. E. Fels, Integrating Scalar Ordinary Differential Equations with Symmetry Revisited, Foundations of Computational Mathematics, vol.7, issue.4, pp.417-454, 2007.
DOI : 10.1007/s10208-005-0207-9

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

G. Havas, B. Majewski, and K. Matthews, Extended GCD and Hermite Normal Form Algorithms via Lattice Basis Reduction, Experimental Mathematics, vol.75, issue.3, 1998.
DOI : 10.1017/CBO9780511574702

E. Hubert, Generation properties of Maurer-Cartan invariants, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00194528

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, 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, 2012.
DOI : 10.1145/2442829.2442862
URL : https://hal.archives-ouvertes.fr/hal-00657991

E. Hubert and A. Sedoglavic, Polynomial Time Nondimensionalisation of Ordinary Differential Equations via their Lie Point Symmetries, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00001251

H. E. Huntley, Dimensional Analysis, American Journal of Physics, vol.24, issue.7, 1967.
DOI : 10.1119/1.1934310

Y. Ishida, Formula processing on physical systems, Complex Systems, vol.11, issue.2, pp.141-160, 1997.

G. Kemper, The computation of invariant fields and a new proof of a theorem by Rosenlicht. Transformation Groups, pp.657-670, 2007.

R. Khanin, Dimensional analysis in computer algebra, Proceedings of the 2001 international symposium on Symbolic and algebraic computation , ISSAC '01, 2001.
DOI : 10.1145/384101.384129

F. Lemaire and A. Urgüplü, A method for semi-rectifying algebraic and differential systems using scaling type lie point symmetries with linear algebra, Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC '10, 2010.
DOI : 10.1145/1837934.1837956
URL : https://hal.archives-ouvertes.fr/hal-00825033

C. Lin and L. Segel, Mathematics applied to deterministic problems in the natural sciences, Society for Industrial and Applied Mathematics, 1988.
DOI : 10.1137/1.9781611971347

E. Mansfield, A Practical Guide to the Invariant Calculus, 2010.
DOI : 10.1017/CBO9780511844621

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

P. J. Olver, Applications of Lie Groups to Differential Equations. Number 107 in Graduate texts in Mathematics, 1986.

V. L. Popov and E. B. Vinberg, Invariant Theory, Algebraic geometry. IV, Encyclopaedia of Mathematical Sciences, 1994.

A. Schrijver, Theory of Linear and Integer Programming, 1986.

A. Sedoglavic, Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries, Algebraic Biology, 2007.
DOI : 10.1007/978-3-540-73433-8_20
URL : https://hal.archives-ouvertes.fr/inria-00120991

A. Storjohann, Algorithms for Matrix Canonical Forms, 2000.

A. Storjohann and G. Labahn, Asymptotically fast computation of Hermite normal forms of integer matrices, Proceedings of the 1996 international symposium on Symbolic and algebraic computation , ISSAC '96, pp.259-266, 1996.
DOI : 10.1145/236869.237083

B. Sturmfels, Gröbner Bases and Convex Polytopes, 1996.
DOI : 10.1090/ulect/008