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.
Baldwin, D., Ü. Götkas, W. Hereman, L. Hong, R. Martino, and J.C. Miller. PDESpecialSolutions, 2002.
A Mathematica program for the symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for systems of nonlinear partial differential equations.
See Willy Hereman’s Home Page for other related software and papers.