1. 首页
  2. 移动开发
  3. 其他
  4. 基于机器辅助的四色猜想数学证明

基于机器辅助的四色猜想数学证明

上传者: 2020-08-07 18:23:25上传 PDF文件 464.08KB 热度 29次
基于机器辅助的四色猜想数学证明,陈贤富,, 本文提出了“不可归约肯普链团”新概念。在此基础上,借助机器辅助计算,运用数学归纳法,理论证明了著名的四色猜想。
下载地址
用户评论