Hamel’s formalism and variational integrators on a sphere

Abstract — This paper discusses Hamel’s formalism and its applications to structure-preserving integration of mechanical systems. It utilizes redundant coordinates in order to elim-inate multiple charts on the configuration space as well as nonphysical artificial singularities induced by local coordinates, while keeping the minimal possible degree of redundancy and avoiding integration of differential-algebraic equations. I