为四色问题的非计算机证明找到了一个新的途径。
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.
你需要通过正确地输入字母来证明给计算机，你是一个人类。
By correctly transcribing it, you have proved to the computer that you are a human being.
应用推荐