Abstract
The relationship between the strength of a differential equation as introduced by Einstein, its Cartan characters, and its Hilbert polynomial is studied. Using the framework of formal theory previous results are extended to nonlinear equations of arbitrary order and to overdetermined systems. The problem of computing the number of arbitrary functions in the general solution is treated. Finally, the effect of gauge symmetries is considered.