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

• 判定线性偏微分方程组解的完备性的一个符号计算方法