ZHANG Hong-qing, XIE Fu-ding, LU Bin. A Symbolic Computation Method to Decide the Completeness of the Solutions to the System of Linear Partial Differential Equations[J]. Applied Mathematics and Mechanics, 2002, 23(10): 1008-1012.
 Citation: ZHANG Hong-qing, XIE Fu-ding, LU Bin. A Symbolic Computation Method to Decide the Completeness of the Solutions to the System of Linear Partial Differential Equations[J]. Applied Mathematics and Mechanics, 2002, 23(10): 1008-1012.

# A Symbolic Computation Method to Decide the Completeness of the Solutions to the System of Linear Partial Differential Equations

• Rev Recd Date: 2002-04-09
• Publish Date: 2002-10-15
• 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.
•  [1] 张鸿庆. 弹性力学方程组一般解的统一理论[J]. 大连工学院学报,1978,18(3):23-47. [2] 张鸿庆,王震宇. 胡海昌解的完备性和逼近性[J]. 科学通报,1985,30(5):342-344. [3] 王敏中. 关于胡海昌解的完备性[J]. 应用数学和力学,1981,2(2):243-249. [4] Ritt J F. Differential Algebra[M]. New York:Dover Publication Inc,1950,57-140. [5] Kolchin E R. Differential Algebra and Algebraic Groups[M]. New York:Academic Press,1973,43-54. [6] WU Wen-tsun. On the foundation of algebraic differential geometry[R]. MM research preprints,1989,3:1-29. [7] Rosenfeld A. Specialization in differential algebra[J]. Trans Amer Math Soc,1959,90(2):394-407. [8] Boulier F,Lazard D,Ollivier F,et al. Representation for the radical of a finitely generated differential ideal[A]. In:Levelt A Ed. ISSAC'95[C]. Montrel,Canada:ACM Press,1995,158-166.

### Catalog

###### 通讯作者: 陈斌, bchen63@163.com
• 1.

沈阳化工大学材料科学与工程学院 沈阳 110142