机器证明的回顾与展望

机器证明的回顾与展望张景中（中国科学院成都计算机应用研究所）机器证明及其应用，是我国攀登计划项目之一．项目核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用．实际上，机器证明研究领域的范围要广泛得多．在国外更一般地叫做自动推理．我们把几...     

全国第四届常微分方程数值方法学术会议在湘举行

全国第四届常微分方程数值方法学术会议于1992年8月22日到8月26日在湖南省大庸市召开。这次会议经中国数学会批准,筹备组由湘潭大学、中国科学院计算中心,北京计算机应用和仿真技术研究所、北京应用物理与计算数学研究所、中国科学院数学研究所、哈尔滨工业大学、上海师范大学、武汉大学、兰州大学和湖南省计算数学应用软件学     

永远怀念敬爱的关肇直老师

<正>关肇直老师是我国数学界一位极为重要的人物.他是数学家,也是中国现代控制理论的开拓者.他不仅在泛函分析领域有很高的成就,而且在发展我国的军工和航天等事业中建立了功勋.他参加过1956年国家科学技术12年远景规划和1978年基础学科发展规划的制定;参与了中国科学院数学研究所的筹建和中国科学院系统科学研究所的创建,并在这两个所担任过领导工作.在科学研究中,他既是具体项目的研究者,又是杰出的组织者和领导者.他目光敏锐,有广阔的视野,对我国解放后数学的全面发展做出了不朽的贡献.     

数学家、翻译家赵根榕教授

赵根榕教授(1922～1991)河北省涿县人,中国民主同盟盟员。1945年8月毕业于我校数学系。自1946年起在我校数学系任教,历任助教、讲师、副教授、教授,1990年12月退休。他曾担任我校数学研究所计算数学研究室主任,数学系资料室主任,我校数学与计算机学科教师职称评审委员,图书馆委员会委员,并曾兼     

中国科学院力学研究所的创建过程

中国科学院力学研究所是在钱伟长任主任的中国科学院数学研究所力学研究室的基础上,与北京大学、清华大学合作创建的.该文记述、展示了力学所的建所背景、创建过程、钱学森在创建力学所的日子和他的建所思想,以及重要人物在中科院院务会议讨论成立力学所时提出的发展要求和希望.最后介绍了中科院力学所创建时的人员组成.     

前言

<正>许国志先生于1919年4月20日出生于江苏扬州,今年是他的百年诞辰.1943年许国志先生毕业于上海交通大学机械系,1953年获美国堪萨斯大学博士学位.1955年他与夫人蒋丽金先生(中国科学院院士)冲破美国政府的阻拦,回到新中国.许国志先生先后任职于中国科学院力学研究所、数学研究所、系统科学研究所、数学与系统科学研究院.他于1995     

力学史研究中国科学院力学研究所的创建过程

中国科学院力学研究所是在钱伟长任主任的中国科学院数学研究所力学研究室的基础上,与北京大学、清华大学合作创建的.该文记述、展示了力学所的建所背景、创建过程、钱学森在创建力学所的日子和他的建所思想,以及重要人物在中科院院务会议讨论成立力学所时提出的发展要求和希望.最后介绍了中科院力学所创建时的人员组成.     

第三届全国概率统计计算学术讨论会

由中国数学会计算数学会批准、资助的《第三届全国概率统计计算学术讨论会》于1987年11月22至26日在成都举行.中国科学院计算中心、成都计算机应用研究所和成都气象学院共同筹备了这次会议.来自全国的科研机构、高等院校、工矿企业、国防系统和各地计算中心等约40个单位的50多位代表参加了这次学术讨论会. 会上交流的论文可概括为以下五个方面:统计软件,多元分析计算及应用,统计预测技术,     

一九九七年新增选的中国科学院院士(数学)简介

丁伟岳数学家．中国科学院数学研究所研究员．男．汉族．1945年4月26日出生于上海市．1968年毕业于北京大学数学力学系，1981年获中国科学院数学研究所硕士学位，1986年获该所博士学位并留所从事科学研究至今．现任研究员、博士研究生导师．1987年1月至7月曾先后在美国加州大学圣迭哥分校和宾州大学任访问研究员．1989年8月至1990年4月曾先后在美国哈佛大学和纽约大学等校任访问研究员．1995年当选为中国数学会副理事长．1997年10月当选为中国科学院院士．主要从事偏微分方程、非线性分析以及几何微分方程等方面的科学研究并取得多项重要成…     

万哲先先生简介

<正>万哲先先生祖籍湖北沔阳(今湖北省仙桃市),1927年11月7日生于山东淄川(现山东省淄博市淄川区).1944年10月考入西南联合大学算学系(数学系).1948年7月从清华大学数学系毕业,并留校当助教.1950年8月在中国科学院数学研究所(筹备处)任助理员.1952年7月到正式成立的中国科学院数学研究所工作.1952年12月任助理研究员,1964年5月晋升为副研究员,1978年3月晋升为研究员,1984-1985年,任中国科学技术大学研究生院教授.1985年至今,任中国科学院系统科学研究所(数学与系统科学研究院)研究员,曾任系统科学研究所学术委员会主任.     

简讯

(一) 三机部三○一所继1975年10月与中国科学院数学研究所运筹室一起,在南昌举办了第一期“最优设计”学习班之后,又于1976年5月16日至6月12日,再次同中国科学院数学研究所运筹室与西北工业大学一起,为三机部举办了第二期学习班. 参加学习班的除三机部的16个厂、所外,上海机电设计院、广州造船厂、上海交通大学、同济大学、上海工业建筑设计院、成都量具刃具厂、四川大学、张家口市科技局等单位也应邀参加了学习和交流.学习班学员共74名.     

西北大学数学系

<正> 西北大学创建于1902年,现在是国家重点建设211工程院校。西北大学数学系是西北大学建立最早的系科之一。现有数学研究所、非线性科学研究中心、科学技术史研究中心、《纯粹数学与应用数学》杂志编辑部、基础数学等五个教研室,并设有计算机实验室、网络实验室、数学建模实验室及资料室,科学技术史为一级学科博士学     

主编寄语

在举国上下庆祝新中国成立60周年之际,中国科学院系统科学研究所迎来了建所30周年.关肇直、吴文俊和许国志三位院士高瞻远瞩,在30年前就认识到系统科学的重要性,创建了系统科学研究所,并创办了系统科学在我国的第一个期刊<系统科学与数学>.     

前言

<正>全国计算机数学学术会议是中国数学学会计算机数学专业委员会主办的系列学术会议.第四届全国计算机数学学术会议由广州大学计算机科学与教育软件学院和中国科学院数学机械化重点实验室承办.本届会议于2011年11月25日至28日在广州大学桂花岗校区学术交流中心召开.来自国内科研院所、大专院校的专家学者及在校学生近150人参加了会议.美国克莱姆森大学(Clemson University)高绪洪(Shuhong Gao)教授,中国科学院研究生院胡磊教授和首都师范大学辛国策教授做了特邀报告.会议还安排43位专家学者作专题     

“控制室科研工作介绍”专辑

<正>前言2012年是中国科学院系统控制重点实验室的前身中国科学院数学所控制理论研究室成立50周年.大约在一年以前,系统控制室的一些科研团队成员建议在系统科学研究所30周年所庆材料中系统控制重点实验室科研工作简介的基础上,由《系统科学与数学》出一个专辑比较系统地介绍系统控制室的研究工作,以便于进行学术交流.本专辑所收集的文章对系统控制室的研究人员在系统控制相关领域的部分代表性研究工作做了总结,其中包括自校正调节器、变界截尾随机逼近算法、矩阵半张量积的理论与应     

模型平均方法及应用专辑序言

正全国计算机数学学术会议是由中国数学会计算机数学专业委员会主办的学术会议,旨在为全国计算机数学相关领域的科研人员提供交流与展示其最新科研成果的平台.2018年10月25-28日,第十届全国计算机数学学术会议在湖北省武汉市成功召开.本届会议由中国数学会计算机数学专业委员会主办,湖北大学、中国科学院数学机械化实验室和深圳大学承办,来自全国各大高校及科研院所的180余名科研人员参会.会议收到来自计     

沉痛悼念王启明同志

王启明同志是中国科学院数学研究所研究员、所学术委员会委员、所研究生业务负责人,并曾代理副所长。从1988年起任本刊副主编.他还是位于意大利的国际理论物理中心的国外委员。1989年4月7日在美访问期间,因车祸不幸去世,终年48岁。 王启明同志出生于延安。早年在北京育英小学与一○一中学学习。1960年考入中国科技大学数学系,在五年学习期间,他学习刻苦,成绩突出。1965年毕业后考入中国科学院数学研究所成为吴文俊教授的研究生。1977年加入中国共产党,曾任支部委员。     

袁亚湘院士简介

正袁亚湘院士于1960年1月出生于湖南资兴,1981年毕业于湘潭大学数学系,1982年3—11月在中国科学院研究生院就读研究生,师从冯康教授。1982年11月起在剑桥大学应用数学与理论物理系攻读博士,师从M.J.D.Powell教授,1986年获博士学位。袁亚湘院士于1985年10月-1988年9月在剑桥大学菲茨威廉姆学院工作(Rutherford research fellow),1988年回国并在中国科学院计算中心工作,成为当时中科院最年轻的正研究员。1995年开始     

“系统辨识”讨论班在京举办

1978年7月29日至8月19日在中国科学院数学研究所举办了“系统辨识”暑期讨论班,是由上海师大数学系、南开大学数学系和科学院数学所联合发起的.邀请了有关大专院校的数学系和自控系等20余个单位.     

中国科学院数学研究所组织编码讨论班

1972年3月份起,中国科学院数学研究所组织了一个编码讨论班.参加讨论班的有:北京大学数学力学系、北京师范大学数学系、北京师范学院数学系、中国科学院计算技术研究所等兄弟单位和数学研究