Symbolic software for soliton theory

Four symbolic programs, in Macsyma or Mathematica language, are presented. The first program tests forthe existence of solitons for nonlinear PDEs. It explicitly constructs solitons using Hirota's bilinear method. In the second program, the Painlevé integrability test for ODEs and PDEs is implemented. The third program provides an algorithm to compute conserved densities for nonlinear evolution equations. The fourth software package aids in the computation of Lie symmetries of systems of differential and difference-differential equations. Several examples illustrate the capabilities of the software.Research supported in part by NSF under Grant CCR-9300978.