A subdivision algorithm with verified bounds yields guaranteed lower bounds on the reach of zero sets of smooth functions, with applications to homology, distances, eigenvalues, and deformations.
N.K. B ose (ed): Recent trends in multidimensional system theory
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.NA 1years
2025 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
Lower bounds for the reach and applications
A subdivision algorithm with verified bounds yields guaranteed lower bounds on the reach of zero sets of smooth functions, with applications to homology, distances, eigenvalues, and deformations.