Length of curves on LIP manifolds (Q2640170)

The authors consider Lipschitz manifolds. They show that the distance function \(\delta\) defined on such a manifold M in their previous work is a geodesic distance, i.e. (M,\(\delta\)) is a length space. Also they define a length of Lipschitz curves and prove that this length coincides with the usual length constructed with the help of the distance \(\delta\).