Theoretically-based algorithms for robustly tracking intersection curves of deforming surfaces