Hamel's formalism and variational integrators on a sphere | IEEE Conference Publication | IEEE Xplore