Efficient Algorithms for Simulating Complex Mechanical Systems Using Constraint Dynamics | AMiner