历史上有人用计算机给出了一个四色定理的证明,

来源：学生作业帮编辑：作业帮分类：数学作业时间：2024/05/18 17:10:57

历史上有人用计算机给出了一个四色定理的证明,
我想知道用计算机证明的思路是什么,有算法最好了.
或者贴一个有这些东西的链接也可以.

我看了半天没看明白!
再问：这个我也看过了，就是因为它只有一点点的介绍，没说具体怎么用计算机做，才来这儿提问的……
再答： http://wenku.baidu.com/view/874c70f04693daef5ef73dec.html http://wenku.baidu.com/view/4bc2a2f8aef8941ea76e05c0.html 你看看这个两个
再问：很感谢了。但是，仍然和我想找的东西有差距，这两个都是用计算机“验证”四色定理的算法，其实不难写，我想知道当年那个外国人是怎么用计算机“辅助证明”四色定理的……

证明四色定理世界未解的数学难题世界上还有哪些数学难题未解,越多越好,越好,四色猜想是不是已经得到了纯数学理论的证明（不是用计算机证明请给出海伦定理的详细证明, 勾股定理是数学中证法最多的一个定理,几千年来,人们己经发现了400多种不同的证明方法,有人想了这样切线定理..乱套了请给出一个明确的答案,切线定理、弦切线定理、切线长定理是不是一个概念? 解析几何一个定理的证明给出托勒密定理的逆定理的证明过程, 数学上有哪些还未给出证明的定理小明用计算机设计了一个计算程序,输入和输出的数据如下 1665年,牛顿把二项式定理推广到n为分数与负数的情形,给出了展开式,但并未给出进一步证明. 有人知道泊松定理的证明过程吗? 英语翻译摘要：本文给出了拉格朗日中值定理在讨论“中间值”、证明等式、证明不等式、求极限、判断函数的增减性、判断级数敛散性