共 50 条
- [41] Formalization of Euler–Lagrange Equation Set Based on Variational Calculus in HOL Light Journal of Automated Reasoning, 2021, 65 : 1 - 29
- [43] Periodic variational problem related with linear Reynolds equation Izvestiya Akademii Nauk. Mekhanika Zhidkosti I Gaza, 1992, (02): : 3 - 10
- [44] A variational method for a domain identification problem for a parabolic equation PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ABSTRACT AND APPLIED ANALYSIS, 2004, : 125 - 138
- [45] A half-linear differential equation and variational problem Nonlinear Analysis, Theory, Methods and Applications, 2001, 45 (02): : 203 - 211