Formalization of EulerâLagrange Equation Set Based on Variational Calculus in HOL Light
Guan, Yong, Zhang, Jingzhi, Wang, Guohui, Li, Ximeng, Shi, Zhiping, Li, YongdongJournal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-020-09549-w
Date:
March, 2020
File:
PDF, 834 KB
2020