TY - GEN A1 - Wolf, Thomas T1 - The Symbolic Integration of Exact PDEs N2 - An algorithm is described to decide if a given polynomial differential expression $\Delta$ of multivariate functions is exact, i.e. whether there exists a first integral $P$ such that $D_xP = \Delta$ for any one of a set of variables $x$ and to provide the integral $P$. A generalization is given to allow integration in the case that the exactness is prohibited by terms which contain only functions of not all the independent variables. T3 - ZIB-Report - 00-02 KW - symbolic integration KW - partial differential equations Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-5702 ER - TY - GEN A1 - Wolf, Thomas T1 - The integration of systems of linear PDEs using conservation laws of syzygies N2 - The purpose of the paper is to formulate and use syzygies for systems of linear PDEs. The computation of an equivalent of a GCD for linear partial differential operators will save us their factorization which is otherwise only possible algorithmically in special cases. After showing the computation with the new and the traditional method and comparing both in the next three sections, the algorithm is explained in general and an overview is given. T3 - ZIB-Report - 02-08 KW - PDE KW - syzygies KW - conservation laws Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6751 ER -