为四色问题的非计算机证明找到了一个新的途径。
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.
利用干燥剂包埋技术及不同化学溶液前处理的方法，研究了玫瑰干花制作过程中的护形和护色问题。
By using drier-packing ways and different pre-handling methods of soaking the flowers in chemic solution, the problems of Keeping shape and Keeping color have researched.
应用推荐