Formalization of Euler-Lagrange equation set based on variational calculus in HOL light
scientific article; zbMATH DE number 7356966
scientific article