Abstract : This paper addresses the problem of piecewise linear approximation of implicit surfaces. We first give a criterion ensuring that the zero-set of a smooth function and the one of a piecewise linear approximation of it are isotopic. Then, we deduce from this criterion an implicit surface meshing algorithm certifying that the output mesh is isotopic to the actual implicit surface. This is the first algorithm achieving this goal in a provably correct way.
https://hal.archives-ouvertes.fr/hal-00488819
Contributor : Jean-Daniel Boissonnat <>
Submitted on : Thursday, June 3, 2010 - 8:24:51 AM Last modification on : Thursday, December 17, 2020 - 4:36:02 PM Long-term archiving on: : Friday, September 17, 2010 - 12:35:14 PM