基于机器辅助的四色猜想数学证明
基于机器辅助的四色猜想数学证明,陈贤富,, 本文提出了“不可归约肯普链团”新概念。在此基础上,借助机器辅助计算,运用数学归纳法,理论证明了著名的四色猜想。
下载地址
用户评论
