用计算机进行微分方程公式的推导获得成功

摘要

中国科学院应用数学研究所研究人员刘尊全、力学研究所秦朝斌于1979年10月在计算机上进行微分方程公式的推导获得成功。他们设计了微分方程程序系统Differential Equation Program System(简称DEPS),将它用于常微分方程理论中一个关键问题——希尔伯特第十六问题的研究工作。现在,他们已取得一批重要成果:机器验证了苏联学者(?)在1952年所发表的著名成果。