数学机械化

数学机械化研究——吴文俊先生的研究工作 数学机械化是我国数学家开创的基础研究领域。20多年来，吴文俊先生身体力行、满腔热情地倡导数学机械化...机的功能不断增强，人类社会开始逐步实现脑力劳动的机械化。数学研究是典型...

新四大发明

发明是什么呢？1数学机械化方法，2杂交水稻，3人工合成牛胰岛素 ，4陆相成油理论。 1、数学机械化方法发明人：吴文俊　　当选理由：给中国传统数学注入活力　　吴文俊开创了被称之为数学机械化的研究工作。他继承和发展了中国古代数学...

中国科学院系统科学研究所

所以多学科交叉为特点，在系统控制、数学机械化、系统运筹与管理、统计与科学计算...。重要成果包括：示性类及示嵌类的研究，数学机械化的研究，飞行器弹性控制理论...》杂志编委、 《组合年刊》编委。 数学机械化重点实验室 中国科学院系统科学...

所属分类： 中国科研机构 科学组织 科研机构

高小山

高小山 博士导师数学机械化，符号计算, 自动推理，信息安全 简介 中科院数学与系统科学研究院研究员、系统所所长，中科院数学机械化重点实验室主任。主要研究: 数学机械化，符号计算, 自动推理，信息安全。曾获国家自然...

所属分类： 中科院 人物 数学

吴文俊

几何定理的机械化证明，在全国自然辩证法讲习会上提出数学机械化问题1979年...》出版，收入吴文俊的奠基性论文，吴文俊的机械化数学思想在国际上得到广泛...月成立中国科学院系统科学研究所数学机械化研究中心，并任中心主任。1990...

所属分类： 上海人 中国数学家 中国物理学家 中国科学家 中国科学院院士 中科院院士 华人科学家 各国数学家 学术人物 教授 数学人物 数学史 数学物理部院士 科学领域人物

吴方法

学数学系。1979年至现在任中国科学院系统科学研究所副所长、名誉所长、研究员。吴文俊院士是著名的数学家，他的研究工作涉及到数学的诸多领域。在多年的研究中取得了丰硕成果。其主要成就表现在拓扑学和数学机械化两个领域。他...

所属分类： 数学 术语

黑龙江大学数学科学学院

、微分方程数值解法、泛函微分方程及应用、应用概率统计、数学机械化、计算... 介绍 黑龙江大学数学科学学院由1958年成立的数学系发展而来，具有基础数学、应用数学、计算数学硕士学位授予权，设有数学与应用数学、信息与...

邹建成

研究计划《数学机械化与自动推理平台》子课题“计算机图形学与计算机视觉中的数学机械化方法”（No.G1998030608）。（1998年1月...人物简介邹建成，男，博士，教授，北方工业大学理学院学科带头人。应用数学...

四大发明

古代四大发明，现代四大发明是什么呢？ 1、数学机械化方法 2、杂交水稻...、任何星辰对人类事务的影响都无过于这些机械性的发现了。” 马克思评论...当之无愧名列新四大发明之首。中国是数学古国，中国古代流传下来的《九章算术...

所属分类： 中国传统文化

吴文俊(1919～　　)

于数学机械化与机械化的数学的研究，从初等几何着手，在计算机上已经证明了一类...吴文俊(1919～　　) 正文　　中国现代数学家。1919年 5月12日生于上海。1940年毕业于上海交通大学数学系，1949年在法国斯特拉斯...

搜索数学机械化相关的维吧

1[2]下一页最后一页