A note on the differentiability of the distance function to regular submanifolds of Riemannian manifolds

From MaRDI portal
Publication:1841618