Theory, algorithms, and applications of level set methods for propagating interfaces | Synapse