English Version
全部
卷期
作者
文章
首页
本刊介绍
关于本刊
现任主编及编辑
现任编辑委员会成员
历任主编
历任编辑委员会成员
历次编辑委员会会议
提前发表
往期浏览
作者检索
欢迎订阅
首页
本刊介绍
关于本刊
现任主编及编辑
现任编辑委员会成员
历任主编
历任编辑委员会成员
历次编辑委员会会议
往期浏览
作者检索
欢迎订阅
/
首页
/
往期浏览
/
1980年1期
/
用计算机进行微分方程公式的推导获得成功
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
1981
1980
1979
显示更多
1980
年
1
期
文章阅读
用计算机进行微分方程公式的推导获得成功
作者:
编委会编辑
创建于 1980-01-01
期刊:
1980
年
1
期
619
中国科学院应用数学研究所研究人员刘尊全、力学研究所秦朝斌于1979年10月在计算机上进行微分方程公式的推导获得成功。他们设计了微分方程程序系统Differential Equation Program System(简称DEPS),将它用于常微分方程理论中一个关键问题——希尔伯特第十六问题的研究工作。现在,他们已取得一批重要成果:机器验证了苏联学者(?)在1952年所发表的著名成果,指出其一
本文下载地址:
用计算机进行微分方程公式的推导获得成功
上一条:必须合理利用农业自然资源
下一条:入学考试与录取基数
关于我们
© 2021 中国科学院大学版权所有 地址:北京市石景山区玉泉路19号(甲) 邮编:100049
微信公众号