分支、极限环和孤立子解的计算机处理

本项目拟应用计算机辅助分析系统及符号计算机器证明方法研究某些类型的平面多项式系统、生态系统及非线性振动系统的分支和极限环，以及高次等变系统的相图分类与极限环分布。还将研究高维孤立子方程的可积性及其孤立子解。在分支、极限环和孤立子解的理论研究中深入应用计算机技术。