Formalization of Euler-Lagrange Equation Set Based on Variational Calculus in HOL Light.

Published in: J. Autom. Reason. (2021)

Keyphrases