Keywords Mathematics mechanization;Symbolic computation;Exact solution;Auxiliary equation method;Soliton;

• 数学机械化;符号计算;精确解;辅助方程法;孤立子;