Recovering the metric of a \(\mathrm{CAT}(0)\)-space by a diagonal tube
locally compact geodesically complete CAT\((\kappa)\)-space
scientific article; zbMATH DE number 5312852