1: \begin{abstract}
2: Given a group action, known by its infinitesimal generators,
3: we exhibit a complete set of syzygies on a generating
4: set of differential invariants.
5: For that we elaborate on the reinterpretation of
6: Cartan's moving frame by \cite{fels99}.
7: This provides constructive tools for
8: exploring algebras of differential invariants.
9: \end{abstract}
10: