1: \begin{abstract}

2: We analyze a variational time discretization of geodesic calculus on finite- and certain classes of infinite-dimensional Riemannian manifolds.

3: We investigate the fundamental properties of discrete geodesics, the associated discrete logarithm,

4: discrete exponential maps, and discrete parallel transport,

5: and we prove convergence to their continuous counterparts.

6: The presented analysis is based on the direct methods in the calculus of variation, on $\Gamma$-convergence,

7: and on weighted finite element error estimation. 

8: The convergence results of the discrete geodesic calculus are experimentally confirmed

9: for a basic model on a two-dimensional Riemannian manifold.

10: This provides a theoretical basis for the application to shape spaces in computer vision, for which we 

11: present one specific example.

12: \end{abstract}

13: