摘要
从微分代数的角度出发 ,借助于吴微分特征集理论 ,对于线性偏微分方程组 ,给出了判定它的解的完备性的一个符号计算方法· 这个算法是一个机械化的算法 ,借助于符号计算软件Maple 。
A symbolic computation method to decide whether the solutions to the system of linear partial differential equation is complete via using differential algebra and characteristic set is presented.This is a mechanization method,and it can be carried out on the computer in the Maple environment.
出处
《应用数学和力学》
EI
CSCD
北大核心
2002年第10期1008-1012,共5页
Applied Mathematics and Mechanics
基金
国家 973资助项目 (G19980 30 6 0 0 )
国家自然科学基金资助项目 (10 0 72 0 13)
关键词
解
完备性
微分代数
偏微分方程组
符号计算
特征集
differential algebra
system of partial differential equation
symbolic computation
characteristic set
