Applied Mathematics and Mechanics (English Edition) ›› 2002, Vol. 23 ›› Issue (10): 1134-1139.

• Articles • Previous Articles     Next Articles

A SYMBOLIC COMPUTATION METHOD TO DECIDE THE COMPLETENESS OF THE SOLUTIONS TO THE SYSTEM OF LINEAR PARTIAL DIFFERENTIAL EQUATIONS

ZHANG Hong-qing, XIE Fu-ding, LU Bin   

  1. Department of Applied Mathematics, Dalian University of Technology, Dalian 116024, P. R. China
  • Received:2001-06-16 Revised:2002-04-09 Online:2002-10-18 Published:2002-10-18
  • Supported by:
    the‘973’Project of China(G1998030600);the National Natural Science Foundation of China(10072013)

Abstract: 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.

Key words: differential algebra, system of partial differential equation, symbolic computation, characteristic set

2010 MSC Number: 

APS Journals | CSTAM Journals | AMS Journals | EMS Journals | ASME Journals