中英▼
go top

Wolfgang Haken

  • 沃夫冈·哈肯

网络释义英英释义

  沃夫冈·哈肯

1976年，凯尼斯·阿佩尔（Kenneth Appel）和沃夫冈·哈肯（Wolfgang Haken）等人利用人工和计算机混合的方式证明了一个著名的数学猜想：四色猜想（现在称为四色定理）。

基于2004个网页-相关网页

  与哈肯

Koch的算法的支持下，美国数学家阿佩尔(Kenneth Appel)与哈肯(Wolfgang Haken)在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，才终于完成了四色定理的证明。

基于36个网页-相关网页

Wolfgang Haken

  • abstract: Wolfgang Haken (born June 21, 1928 in Berlin, Germany) is a mathematician who specializes in topology, in particular 3-manifolds.

以上来源于: WordNet

权威例句

  • It was first proposed in 1852 but, despite efforts by a century's worth of mathematicians, went unproven until 1976, when Kenneth Appel and Wolfgang Haken, then of the University of Illinois, announced that they had proved the result.

    ECONOMIST: Just what does it mean to prove something?

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定