A symbolic computation method to decide the completeness of the solutions to the system of linear partial differential equations

被引：0
作者：
Zhang Hong-qing
Xie Fu-ding
Lu Bin
机构：
[1] Dalian University of Technology,Department of Applied Mathematics
来源：
Applied Mathematics and Mechanics | 2002年 / 23卷 / 10期
关键词：
differential algebra; system of partial differential equation; symbolic computation; characteristic set; O155; O175.2;
D O I：
10.1007/BF02437661
中图分类号：
学科分类号：
摘要：
A symbolic computation method to decide whether the solutions to the system of linear partial differential equation is complele 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.
引用
收藏
页码：1134 / 1139
页数：5
相关论文
共 6 条
[1]  
Hong-qing Zhang(1978)A united theory on general solutions of elasticity equations[J] Dalian College Xuebao 18 23-47
[2]  
Hong-qing Zhang(1985)Completeness and approximateness of Hu Hai-chang's solutions[J] Chinese Science Bulletin 30 342-344
[3]  
Zhen-yu Wang(1981)About the completeness of HU Hai-chang's solutions[J] Applied Mathematics and Mechanics 2 265-272
[4]  
Min-zhong Wang(1989)On the foundation of algebraic differential geometry[R] MM research preprints 3 1-29
[5]  
Wen-tsun Wu(1959)Specialization in differential algebra[J] Trans Amer Math Soc 90 394-407
[6]  
Rosenfeld A(undefined)undefined undefined undefined undefined-undefined
1