构造一类偏微分方程组通解的机械化方法及力学方程的自动推理

构造一类偏微分方程组通解的机械化方法及力学方程的自动推理的英文翻译

基本释义

• A Mechanized Algorithm for Constructing the General Solutions of a Class of the Partial Differential Equations and Auto-deduction of Mechanical Equations