A symbolic-interval inference approach for constraint satisfaction: implementation on kinematics applications

From MaRDI portal