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

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

Machine Aided Mathematical Proving of Four-Colour Conjecture

来源：

中文摘要

英文摘要

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

Based on computer aided proving, the four-colour conjecture is proved theoretically by mathematical induction.

作者：陈贤富

作者单位：

学科分类：数学

中文关键词：肯普链团，不可归约性，机器证明，数学归纳法，四色猜想。

英文关键词：Kempe chain complete subgraph irreducibility machine proving four-colour conjecture mathematical induction.

推荐引用：陈贤富.基于机器辅助的四色猜想数学证明[EB/OL].(2008-03-18)[2025-08-02].http://www.paper.edu.cn/releasepaper/content/200803-445.点此复制