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 -