非线性数学物理方程可积性的自动推导研究

将基于符号的计算机处理方法应用于现代物理和力学等领域中所出现的非线性数学物理方程，探索方程的可积性以及求解新方法，进一步拓宽数学机械化在微分领域的应用范围。在符号计算平台上开发用于可积性检验、可积归类、可积系统自动生成以及多孤子解自动推导的软件包，为实际问题的解决提供新的原理和工具，促进相关科学的发展，特别在偏微分方程、数学物理和符号计算及其交汇点上取得一些创新性的成果。