It leads to a new way to find the non-computer-aided proof for four-color conjecture.

为四色问题的非计算机证明找到了一个新的途径。

youdao

It leads to a new way to find the non-computer-aided proof for four-color conjecture.

为四色问题的非计算机证明找到了一个新的途径。

youdao