The Maple11 library DifferentialGeometry (formerly Vessiot), 2007. ,
Differential geometry: manifolds, curves, and surfaces of Graduate Texts in Mathematics, 1988. ,
DOI : 10.1007/978-1-4612-1033-7
diffalg: description, help pages and examples of use. Symbolic Computation Group, 1998. ,
´ Eléments de mathématique. Fasc. XXXIII. Variétés différentielles et analytiques, Fascicule de résultats, 1967. ,
La méthode du repère mobile, la théorie des groupes continus , et les espaces généralisés, 1935. ,
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. ,
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. ,
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
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
Moving coframes. II. Regularization and theoretical foundations, Acta Applicandae Mathematicae, vol.55, issue.2, pp.127-208, 1999. ,
DOI : 10.1023/A:1006195823000
Second-order differential invariants of the rotation group O(n) and of its extensions, 1992. ,
The method of equivalence and its applications, 1989. ,
DOI : 10.1137/1.9781611970135
for curves in homogeneous spaces, Duke Mathematical Journal, vol.45, issue.4, pp.735-779, 1978. ,
DOI : 10.1215/S0012-7094-78-04535-0
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
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
diffalg: extension to non commuting derivations, 2005. ,
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
Generation properties of Maurer-Cartan invariants, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00194528
The maple package aida -Algebraic Invariants and their Differential Algebra, 2007. ,
DOI : 10.1145/1837934.1837936
Algebra of differential invariants, 2008. ,
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
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
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
Cartan for beginners: differential geometry via moving frames and exterior differential systems, Graduate Studies in Mathematics, vol.61, 2003. ,
Higher order contact of submanifolds of homogeneous spaces, lecture Notes in Mathematics, vol.610, 1977. ,
DOI : 10.1007/BFb0068415
Differential Algebra and Algebraic Groups, of Pure and Applied Mathematics, 1973. ,
Invariants differentiels d'un pseudogroupe de Lie, Lecture Notes in Math, vol.392, pp.121-162, 1972. ,
DOI : 10.1007/BFb0064119
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
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
Algorithms for symmetric differential systems, Foundations of Computational Mathematics, vol.1, issue.4, pp.335-383, 2001. ,
Invariant Calculus for Differential and Discrete Problems, 2008. ,
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
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
Implantation et nouvelles applications de la méthode d'´ equivalence de Cartan, 2003. ,
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
Applications of Lie Groups to Differential Equations. No. 107 in Graduate texts in Mathematics, 1986. ,
Equivalence, Invariants and Symmetry, 1995. ,
DOI : 10.1017/CBO9780511609565
A Survey of Moving Frames, Computer Algebra and Geometric Algebra with Applications, 2005. ,
DOI : 10.1007/11499251_11
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
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
Differential invariant algebras of lie pseudogroups, 2007. ,
Group analysis of differential equations, 1982. ,
Les systèmes d'´ equations aux dérivées partielles, 1910. ,
Differential Algebra XXXIII of Colloquium publications, 1950. ,
Sur les invariants diff??rentiels des groupes continus de transformations, Acta Mathematica, vol.18, issue.0, pp.1-88, 1894. ,
DOI : 10.1007/BF02418270
Differential invariants of classical groups. Duke Math, J, vol.94, issue.3, pp.543-572, 1998. ,
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