Jan Chrastina

• Formal calculus of variations on fibered manifolds