为四色问题的非计算机证明找到了一个新的途径。
It leads to a new way to find the non-computer-aided proof for four-color conjecture.
同时，也对四色问题与初等几何定理证明作了简单的讨论。
Additionally, the well-known four colour problem and elementary geometry theorem-proving problem have been discussed.
同时，也对四色问题与初等几何定理证明作了简单的讨论。
Additionally, the well-known four colour problem and elementary geometry theorem-proving problem have been discussed.
应用推荐