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

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

作　　者：陆斌[1] 张鸿庆[1] 

机构地区：[1]大连理工大学数学科学研究所,辽宁大连116024

出　　处：《山东科技大学学报（自然科学版）》2002年第1期18-24,共7页Journal of Shandong University of Science and Technology(Natural Science)

基　　金：国家自然科学基金资助项目 (10 0 72 0 13);国家重点基础研究发展规划项目 (G19980 30 6 0 0 )

摘　　要：用微分代数的观点 ,把标准型算法和矩阵多元多项式的带余除法相结合 ,获得构造一类微分方程组的通解的新方法 ,并在标准型算法的基础上给出了力学方程的推理的机械化方法。By combining the standard form algorithm with the pseudo division algorithm for matrix multivariable polynomial,a new method of constructing the general solutions of a class of the partial differential equations is obtained,thereby with the view of the differential algebra and a mechanical algorithm for auto deducing the mechanical equations is got on the basis of the standard form algorithm.

关 键 词：标准型 机械化方法 相容条件 微分方程组 通解 矩阵多元多项式 力学方程 

分 类 号：O175.2[理学—数学] O241.82[理学—基础数学]