I. Anderson, The Maple11 library DifferentialGeometry (formerly Vessiot), 2007.

M. Berger and B. Gostiaux, Differential geometry: manifolds, curves, and surfaces of Graduate Texts in Mathematics, 1988.
DOI : 10.1007/978-1-4612-1033-7

F. Boulier and E. Hubert, diffalg: description, help pages and examples of use. Symbolic Computation Group, 1998.

N. Bourbaki, ´ Eléments de mathématique. Fasc. XXXIII. Variétés différentielles et analytiques, Fascicule de résultats, 1967.

E. Cartan, La méthode du repère mobile, la théorie des groupes continus , et les espaces généralisés, 1935.

E. Cartan, La théorie des groupes finis et continus et la géométrie différentielle traitées par la méthode du repère mobile. No. 18 in Cahiers scientifiques, 1937.

E. Cartan, OEuvrescompì etes Algèbre, formes différentielles, systèmes différentiels Groupes infinis, systèmes différentiels, théories d'´ equivalence, Partie II, vol.1, issue.2, 1953.

R. Dridi and S. Neut, The equivalence problem for fourth order differential equations under fiber preserving diffeomorphisms, Journal of Mathematical Physics, vol.47, issue.1, p.13501, 2006.
DOI : 10.1063/1.2157050

R. Dridi and S. Neut, On the geometry of <mml:math altimg="si1.gif" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:msup><mml:mi>y</mml:mi><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mn>4</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:mrow></mml:msup><mml:mo>=</mml:mo><mml:mi>f</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>x</mml:mi><mml:mo>,</mml:mo><mml:mi>y</mml:mi><mml:mo>,</mml:mo><mml:msup><mml:mi>y</mml:mi><mml:mo>???</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>y</mml:mi><mml:mo>???</mml:mo></mml:msup><mml:mo>,</mml:mo><mml:msup><mml:mi>y</mml:mi><mml:mo>???</mml:mo></mml:msup><mml:mo stretchy="false">)</mml:mo></mml:math>, Journal of Mathematical Analysis and Applications, vol.323, issue.2, pp.1311-1317, 2006.
DOI : 10.1016/j.jmaa.2005.11.055

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

W. I. Fushchich and I. A. Yegorchenko, Second-order differential invariants of the rotation group O(n) and of its extensions, 1992.

R. B. Gardner, The method of equivalence and its applications, 1989.
DOI : 10.1137/1.9781611970135

M. L. Green, for curves in homogeneous spaces, Duke Mathematical Journal, vol.45, issue.4, pp.735-779, 1978.
DOI : 10.1215/S0012-7094-78-04535-0

P. A. Griffiths, geometry, Duke Mathematical Journal, vol.41, issue.4, pp.775-814, 1974.
DOI : 10.1215/S0012-7094-74-04180-5

URL : https://hal.archives-ouvertes.fr/hal-01473658

E. Hubert, Notes on Triangular Sets and Triangulation-Decomposition Algorithms II: Differential Systems, Symbolic and Numerical Scientific Computing. No. 2630 in Lecture Notes in Computer Science, pp.40-87, 2003.
DOI : 10.1007/3-540-45084-X_2

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.2463

E. Hubert, diffalg: extension to non commuting derivations, 2005.

E. Hubert, Differential algebra for derivations with nontrivial commutation rules, Journal of Pure and Applied Algebra, vol.200, issue.1-2, pp.163-190, 2005.
DOI : 10.1016/j.jpaa.2004.12.034

URL : https://hal.archives-ouvertes.fr/inria-00071606

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

E. Hubert, The maple package aida -Algebraic Invariants and their Differential Algebra, 2007.
DOI : 10.1145/1837934.1837936

E. Hubert, Algebra of differential invariants, 2008.

E. Hubert and I. A. 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. A. 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 P. J. Olver, Differential Invariants of Conformal and Projective Surfaces, Symmetry, Integrability and Geometry: Methods and Applications, vol.3, issue.097, 2007.
DOI : 10.3842/SIGMA.2007.097

URL : https://hal.archives-ouvertes.fr/inria-00198876

T. A. Ivey and J. M. Landsberg, Cartan for beginners: differential geometry via moving frames and exterior differential systems, Graduate Studies in Mathematics, vol.61, 2003.

G. R. Jensen, Higher order contact of submanifolds of homogeneous spaces, lecture Notes in Mathematics, vol.610, 1977.
DOI : 10.1007/BFb0068415

E. R. Kolchin, Differential Algebra and Algebraic Groups, of Pure and Applied Mathematics, 1973.

A. Kumpera, Invariants differentiels d'un pseudogroupe de Lie, Lecture Notes in Math, vol.392, pp.121-162, 1972.
DOI : 10.1007/BFb0064119

A. Kumpera, Invariants diff??rentiels d'un pseudogroupe de Lie. I, Journal of Differential Geometry, vol.10, issue.2, pp.289-345, 1975.
DOI : 10.4310/jdg/1214432795

A. Kumpera, Invariants diff??rentiels d'un pseudogroupe de Lie. II, Journal of Differential Geometry, vol.10, issue.3, pp.347-416, 1975.
DOI : 10.4310/jdg/1214432952

E. L. Mansfield, Algorithms for symmetric differential systems, Foundations of Computational Mathematics, vol.1, issue.4, pp.335-383, 2001.

E. L. Mansfield, Invariant Calculus for Differential and Discrete Problems, 2008.

E. L. Mansfield and P. H. Van-der-kamp, Evolution of curvature invariants and lifting integrability, Journal of Geometry and Physics, vol.56, issue.8, pp.1294-1325, 2006.
DOI : 10.1016/j.geomphys.2005.07.002

J. Muñoz, F. J. Muriel, and J. Rodríguez, On the finiteness of differential invariants, Journal of Mathematical Analysis and Applications, vol.284, issue.1, pp.266-282, 2003.
DOI : 10.1016/S0022-247X(03)00351-2

S. Neut, Implantation et nouvelles applications de la méthode d'´ equivalence de Cartan, 2003.

S. Neut and M. Petitot, La g??om??trie de l'??quation y???=f(x,y,y???,y???), Comptes Rendus Mathematique, vol.335, issue.6, pp.515-518, 2002.
DOI : 10.1016/S1631-073X(02)02507-4

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

P. J. Olver, Equivalence, Invariants and Symmetry, 1995.
DOI : 10.1017/CBO9780511609565

P. J. Olver, A Survey of Moving Frames, Computer Algebra and Geometric Algebra with Applications, 2005.
DOI : 10.1007/11499251_11

P. J. Olver, Differential invariants of surfaces, Differential Geometry and its Applications, vol.27, issue.2, 2007.
DOI : 10.1016/j.difgeo.2008.06.020

URL : https://hal.archives-ouvertes.fr/inria-00198876

P. J. Olver, Generating differential invariants, Journal of Mathematical Analysis and Applications, vol.333, issue.1, pp.450-471, 2007.
DOI : 10.1016/j.jmaa.2006.12.029

P. J. Olver and J. Pohjanpelto, Differential invariant algebras of lie pseudogroups, 2007.

L. V. Ovsiannikov, Group analysis of differential equations, 1982.

C. Riquier, Les systèmes d'´ equations aux dérivées partielles, 1910.

J. F. Ritt, Differential Algebra XXXIII of Colloquium publications, 1950.

A. Tresse, Sur les invariants diff??rentiels des groupes continus de transformations, Acta Mathematica, vol.18, issue.0, pp.1-88, 1894.
DOI : 10.1007/BF02418270

X. Xu, Differential invariants of classical groups. Duke Math, J, vol.94, issue.3, pp.543-572, 1998.

Y. Yaffe, Model completion of Lie differential fields, Annals of Pure and Applied Logic, vol.107, issue.1-3, pp.49-86, 2001.
DOI : 10.1016/S0168-0072(00)00025-7