PDESolutionTester is a Mathematica program for the symbolic verification of exact solutions of nonlinear partial differential equations. PDESolutionTester tests a given set of solutions to see if they satisfy the given system of partial differential equations. If there are unresolved parameters in the system or solution, PDESolutionTester will nattempt to solve for them.

Warning: This package does not work well with Log solutions because of the lack of a nice series expansion. If the package hangs while solving the coefficient system, consider reducing the SolveOrder option to 3.


Related Work