Keywords Mathematics mechanization;Symbolic computation;Soliton equations;Integrable system;Exact solution;

• 数学机械化;符号计算;孤子方程;可积系统;精确解;