High-order discrete differential and integral calculus and Galerkin variational integrators

We define high-order discrete differential and integral calculus following the discrete embedding formalism strategy. Using this framework, we define high-order discrete Lagrangian functionals and the corresponding calculus of variations. This provides a new derivation of Galerkin variational integrators.