equations of mechanical systems -- Nonlinear state equations -- Numerical equations -- Integration of

Invariants -- Differential Equations and Proofs -- Ghosts and Differential Ghosts -- Logical Foundations and

. This formulation results in the establishment of a mixed set of differential and algebraic equations