项目

19371031

2万

1994-01-01

1996-12-01

国家自科基金项目

本校为第一完成单位

由于计算机的高速、智能的迅速发展，使计算机部分代替脑力劳动成为现实。目前最迫切的任务是数学科研中的机械化，这是促进数学发展的途径，微分方程几何理论研究中浩繁公式的推导以全局相图等部分可以形式化及图形化，这可充分发挥计算机的长处，本项目主要是用计算机实现全局分枝，全局拓朴结构及拓朴分类。