Validated algorithms for contact problems

Summary
Validated algorithms for solving (internal & external) contact problems of slender structures in the 3D world