-
德国统计学家托马斯·罗延在刷牙间灵光乍现，想出了困扰学术界多年的难题“高斯相关不等式”的破解之道，随后用经典数学方法证明了这一定理。有趣的是，他两年前就解出这道难题，由于种种原因，直到最近才广为人知。
“高斯相关不等式”在上世纪５０年代被提出后，...
2017.04.06 08:27:35
-
德国统计学家托马斯·罗延在刷牙间灵光乍现，想出了困扰学术界多年的难题“高斯相关不等式”的破解之道，随后用经典数学方法证明了这一定理。有趣的是，他两年前就解出这道难题，由于种种原因，直到最近才广为人知。
“高斯相关不等式”在上世纪50年代被提出后，许...
2017.04.06 18:28:51
-
大胆目标后，这一领域经历了近20年的辉煌。研究人员开展了一系列项目，表明计算机能够完成一系列原本只属于人类能力范畴之内的任务，例如证明定理、求解微积分、通过规划来响应命令、履行物理动作，甚至是模拟心理学家心理实验、作曲家谱曲这样的活动。
但是，过分简单的算法以及计...
2017.05.04 09:04:17
-
院学部委员(院士)。
20世纪70年代，吴文俊在接触计算机后便抛开已有的拓扑学成就，开始攀登数学机械化的高峰。很快，他提出用计算机证明几何定理的“吴方法”，被认定是自动推理领域的先驱性工作。
此后数十年，他陆续建立起“吴中心”，并在近代数学史上形成“吴学派”，...
2017.05.07 21:37:37
-
贡献。”数学大师陈省身这样称赞吴文俊。1956年，吴文俊获得首届国家自然科学一等奖。
到了上世纪70年代后期，吴文俊又提出用计算机证明几何定理的“吴方法”，开创了近代数学史上的第一个由中国人原创的研究领域——数学机械化，实现将繁琐的数学运算证明交由计算机来完成的目...
2017.05.07 18:57:12
-
他的工作是1950年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。1970年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作。
2002年，国际数学家大会首次在中国举行。吴文俊担任大会主席，当时担任组...
2017.05.07 17:28:05
-
世纪五十年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。上世纪七十年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作。他是我国最具国际影响的数学家之一，其工作对数学与计算机科学研究影响深远。...
2017.05.07 14:57:24
-
他的工作是1950年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。1970年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作。他是我国最具国际影响的数学家之一，他的工作对数学与计算机科学研究影响深远...
2017.05.07 14:35:26
-
他的工作是1950年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。1970年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作。他是我国最具国际影响的数学家之一，他的工作对数学与计算机科学研究影响深远...
2017.05.07 11:55:28
-
他的工作是1950年代前后拓扑学的重大突破之一，成为影响深远的经典性成果。1970年代后期，他开创了崭新的数学机械化领域，提出了用计算机证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作。他是我国最具国际影响的数学家之一，他的工作对数学与计算机科学研究影响深远...
2017.05.07 11:30:50
