Abstract: By the Mathematics-Mechanization method proposed by Wu Wentsun, a package RATH os developed to output directly the solitary wave solutions to a nonlinear differential equation, based on the maple system. With it nearly one hundred equations have been calculated. The results not only recover all known solutions, but also find some new solutions as well as solutions in the general form. Furthermore, most of the solutions are obtained with the running time no more than 10 seconds under PC Pentium Ⅲ.

Key words: automated reasoning, evolution equation, solitary wave solution, symbolic computation, automated reasoning, evolution equation, solitary wave solution