New proof of Four-Color Conjecture is proposed.
提出了一种证明“四色猜想”的新思路。
It leads to a new way to find the non-computer-aided proof for four-color conjecture.
为四色问题的非计算机证明找到了一个新的途径。
The second inspect the two typical cases: computer proof of four-color conjecture and establishing of fractal geometry.
第二章考察了计算机在数学应用中的两个具体案例:四色猜想的计算机证明和分形几何的建立。
应用推荐