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. Applied Mathematics and Mechanics (English Edition), 2002, 23(10): 1134-1139.
[1] ZHANG Hong-qing.A united theory on general solutions of elasticity equations[J].Dalian College Xuebao,1978,18(3):23-47.(in Chinese) [2] ZHANG Hong-qing,WANG Zhen-yu.Completeness and approximateness of HU Hai-chang’s so lutions[J].Chinese Science Bulletin,1985,30(5):342-344.(in Chinese) [3] WANG Min-zhong.About the completeness of HU Hai-chang!s solutions[J].Applied Mathematics and Mechanics(English Edition),1981,2(2):265-272. [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].M M 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.ISSAC95[C].Montrel,Canada:ACM Press,1995,158-166.