通用常微分方程计算机辅助分析系统及其应用

本项目研究开发通用的常微分方程定性分析计算机辅助软件并将其应用于某些类型的常微分方程定性分析和孤立子方程的求解方面取得了一系列成果，发表了17篇论文。其软件系统将建立在新一代的平台上，克服了旧有软件的缺点，且是在新一代的强有力的计算机符号计算软件的基础上进行二次开发，见效快。并应用有中国特色的机器证明吴文俊方法和杨路。张景中方法。主要的研究成果分为软件研制开发和应用两大部分，软件开发分为符号计算，机器证明辅助分析软件和计算机绘图软件两部分；应用则分为常微分方程和孤立子理论两方面。研究工作在理论和应用两方面均取得了一定成果，并具有较好的发展前景。