“…Numerical methods for rigid-body dynamics without friction or impact have been studied extensively in the engineering and also mathematics literature. See, for example, [34,143,124,122,52,2,123,111,33,107,46,42,142,13], in reverse chronological order. One of the reasons for this is the need to simulate mechanical systems, especially the complex mechanical systems that arise in manufacturing processes and robotics.…”