Wolfgang Haken
1976年，凯尼斯·阿佩尔（Kenneth Appel）和沃夫冈·哈肯（Wolfgang Haken）等人利用人工和计算机混合的方式证明了一个著名的数学猜想：四色猜想（现在称为四色定理）。
基于2004个网页-相关网页
应用推荐
模块上移
模块下移
不移动