发表机构
University of Paderborn; Gdansk University of Technology（帕德博恩大学; 格但斯克理工大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文通过离散嵌入形式化策略定义高阶离散微分积分学，并据此构建高阶离散拉格朗日泛函与变分学，从而为Galerkin变分积分器提供新推导。
AI 中文摘要
我们遵循离散嵌入形式化策略，定义了高阶离散微分与积分学。利用这一框架，我们定义了高阶离散拉格朗日泛函及相应的变分学。这为Galerkin变分积分器提供了新的推导。
英文摘要
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.
