A symbolic computation method to decide the completeness of the solutions to the systems of linear partial differential equations

DOI10.1007/BF02437661zbMath1032.35057MaRDI QIDQ1397642

Fuding Xie, Hong-Qing Zhang, Bin Lu

Publication date: 7 August 2003

Published in: Applied Mathematics and Mechanics. (English Edition) (Search for Journal in Brave)

zbMATH Keywords

differential algebra; characteristic set

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

35G05: Linear higher-order PDEs

Uses Software

• Maple