Formalization of Euler–Lagrange Equation Set Based on Variational Calculus in HOL Light
Formalization of Euler–Lagrange Equation Set Based on Variational Calculus in HOL Light
复制标题
HOL Light中基于变分微积分的欧拉-拉格朗日方程组的形式化
DOI：
10.1007/s10817-020-09549-w
复制
发表时间：
2020-03
期刊：
影响因子：
--
通讯作者：
Yongdong Li
中科院分区：
文献类型：
--
作者：
Yong Guan;Jingzhi Zhang;Guohui Wang;Ximeng Li;Zhiping Shi;Yongdong Li
欧拉-拉格朗日方程组作为拉格朗日力学的理论基础，广泛应用于建立物理系统的数学模型，特别是求解动力学问题。然而，它们的前提条件往往得不到充分满足
As the theoretical foundation of Lagrangian mechanics, Euler–Lagrange equation sets are widely applied in building mathematical models of physical systems, especially in solving dynamics problems. However, their preconditions are often not fully satisfied
登录
查看更多内容
DOI：
--
发表时间：
2004-02
期刊：
arXiv: History and Overview
影响因子：
--
作者：
James C. Ferguson
通讯作者：
James C. Ferguson
DOI：
10.1007/978-3-319-06074-3_9
发表时间：
2014
期刊：
--
影响因子：
--
作者：
F. Botelho
通讯作者：
F. Botelho
影响因子：
0.5
作者：
S. Boldo;Catherine Lelay;G. Melquiond
通讯作者：
S. Boldo;Catherine Lelay;G. Melquiond
DOI：
10.1098/rsta.2015.0399
发表时间：
2017-10-13
影响因子：
5
作者：
Hunt, Warren A., Jr.;Kaufmann, Matt;Slobodova, Anna
通讯作者：
Slobodova, Anna
Coq 中组件连接器的建模和验证
影响因子：
1.3
作者：
Yi Li;Meng Sun
通讯作者：
Meng Sun