共查询到20条相似文献,搜索用时 203 毫秒
1.
机器证明的回顾与展望张景中(中国科学院成都计算机应用研究所)机器证明及其应用,是我国攀登计划项目之一.项目核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用.实际上,机器证明研究领域的范围要广泛得多.在国外更一般地叫做自动推理.我们把几... 相似文献
2.
《高等学校计算数学学报》1992,(3)
全国第四届常微分方程数值方法学术会议于1992年8月22日到8月26日在湖南省大庸市召开。这次会议经中国数学会批准,筹备组由湘潭大学、中国科学院计算中心,北京计算机应用和仿真技术研究所、北京应用物理与计算数学研究所、中国科学院数学研究所、哈尔滨工业大学、上海师范大学、武汉大学、兰州大学和湖南省计算数学应用软件学 相似文献
3.
<正>关肇直老师是我国数学界一位极为重要的人物.他是数学家,也是中国现代控制理论的开拓者.他不仅在泛函分析领域有很高的成就,而且在发展我国的军工和航天等事业中建立了功勋.他参加过1956年国家科学技术12年远景规划和1978年基础学科发展规划的制定;参与了中国科学院数学研究所的筹建和中国科学院系统科学研究所的创建,并在这两个所担任过领导工作.在科学研究中,他既是具体项目的研究者,又是杰出的组织者和领导者.他目光敏锐,有广阔的视野,对我国解放后数学的全面发展做出了不朽的贡献. 相似文献
4.
《纯粹数学与应用数学》1991,(2)
赵根榕教授(1922~1991)河北省涿县人,中国民主同盟盟员。1945年8月毕业于我校数学系。自1946年起在我校数学系任教,历任助教、讲师、副教授、教授,1990年12月退休。他曾担任我校数学研究所计算数学研究室主任,数学系资料室主任,我校数学与计算机学科教师职称评审委员,图书馆委员会委员,并曾兼 相似文献
5.
中国科学院力学研究所是在钱伟长任主任的中国科学院数学研究所力学研究室的基础上,与北京大学、清华大学合作创建的.该文记述、展示了力学所的建所背景、创建过程、钱学森在创建力学所的日子和他的建所思想,以及重要人物在中科院院务会议讨论成立力学所时提出的发展要求和希望.最后介绍了中科院力学所创建时的人员组成. 相似文献
6.
7.
8.
由中国数学会计算数学会批准、资助的《第三届全国概率统计计算学术讨论会》于1987年11月22至26日在成都举行.中国科学院计算中心、成都计算机应用研究所和成都气象学院共同筹备了这次会议.来自全国的科研机构、高等院校、工矿企业、国防系统和各地计算中心等约40个单位的50多位代表参加了这次学术讨论会. 会上交流的论文可概括为以下五个方面:统计软件,多元分析计算及应用,统计预测技术, 相似文献
9.
《数学物理学报(A辑)》1998,(2)
丁伟岳数学家.中国科学院数学研究所研究员.男.汉族.1945年4月26日出生于上海市.1968年毕业于北京大学数学力学系,1981年获中国科学院数学研究所硕士学位,1986年获该所博士学位并留所从事科学研究至今.现任研究员、博士研究生导师.1987年1月至7月曾先后在美国加州大学圣迭哥分校和宾州大学任访问研究员.1989年8月至1990年4月曾先后在美国哈佛大学和纽约大学等校任访问研究员.1995年当选为中国数学会副理事长.1997年10月当选为中国科学院院士.主要从事偏微分方程、非线性分析以及几何微分方程等方面的科学研究并取得多项重要成… 相似文献
10.
《中国科学:数学》2017,(11)
<正>万哲先先生祖籍湖北沔阳(今湖北省仙桃市),1927年11月7日生于山东淄川(现山东省淄博市淄川区).1944年10月考入西南联合大学算学系(数学系).1948年7月从清华大学数学系毕业,并留校当助教.1950年8月在中国科学院数学研究所(筹备处)任助理员.1952年7月到正式成立的中国科学院数学研究所工作.1952年12月任助理研究员,1964年5月晋升为副研究员,1978年3月晋升为研究员,1984-1985年,任中国科学技术大学研究生院教授.1985年至今,任中国科学院系统科学研究所(数学与系统科学研究院)研究员,曾任系统科学研究所学术委员会主任. 相似文献
11.
《数学的实践与认识》1977,(1)
(一) 三机部三○一所继1975年10月与中国科学院数学研究所运筹室一起,在南昌举办了第一期“最优设计”学习班之后,又于1976年5月16日至6月12日,再次同中国科学院数学研究所运筹室与西北工业大学一起,为三机部举办了第二期学习班. 参加学习班的除三机部的16个厂、所外,上海机电设计院、广州造船厂、上海交通大学、同济大学、上海工业建筑设计院、成都量具刃具厂、四川大学、张家口市科技局等单位也应邀参加了学习和交流.学习班学员共74名. 相似文献
12.
13.
14.
15.
16.
17.
18.
《数学的实践与认识》1979,(1)
1978年7月29日至8月19日在中国科学院数学研究所举办了“系统辨识”暑期讨论班,是由上海师大数学系、南开大学数学系和科学院数学所联合发起的.邀请了有关大专院校的数学系和自控系等20余个单位. 相似文献
19.
本刊通讯员 《数学建模及其应用》2016,5(3)
正袁亚湘院士于1960年1月出生于湖南资兴,1981年毕业于湘潭大学数学系,1982年3—11月在中国科学院研究生院就读研究生,师从冯康教授。1982年11月起在剑桥大学应用数学与理论物理系攻读博士,师从M.J.D.Powell教授,1986年获博士学位。袁亚湘院士于1985年10月-1988年9月在剑桥大学菲茨威廉姆学院工作(Rutherford research fellow),1988年回国并在中国科学院计算中心工作,成为当时中科院最年轻的正研究员。1995年开始 相似文献
20.
《数学的实践与认识》1973,(1)
1972年3月份起,中国科学院数学研究所组织了一个编码讨论班.参加讨论班的有:北京大学数学力学系、北京师范大学数学系、北京师范学院数学系、中国科学院计算技术研究所等兄弟单位和数学研究 相似文献