论文部分内容阅读
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.