10.3969/j.issn.1672-3767.2002.01.005
构造一类偏微分方程组通解的机械化方法及力学方程的自动推理
用微分代数的观点,把标准型算法和矩阵多元多项式的带余除法相结合,获得构造一类微分方程组的通解的新方法,并在标准型算法的基础上给出了力学方程的推理的机械化方法.
标准型、机械化方法、相容条件
21
O175.25(数学分析)
国家自然科学基金10072013;国家重点基础研究发展计划973计划G1998030600
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共7页
18-24