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

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