High order symmetric algorithms for nonlinear dynamical systems with non-holonomic constraints. - Shumin Man; Qiang Gao; Wanxie Zhong (Math. Comput. Simul., 2023)