Computation of multi-rigid-body contact dynamics | IEEE Conference Publication | IEEE Xplore