Constrained equations of motion in multibody dynamics as ODEs on manifolds

A convergence theorem for applying linear multistep numerical integration methods to constrained equations of motion in mechanical systems is presented. Using a differential geometric approach, Eul...