计算机辅助证明
基于1个网页-相关网页
computer-aided proof 计算机辅助证明
computer aided proof
计算机辅助校样
以上为机器翻译结果，长、整句建议使用 人工翻译 。
It leads to a new way to find the non-computer-aided proof for four-color conjecture.
为四色问题的非计算机证明找到了一个新的途径。
youdao
应用推荐
模块上移
模块下移
不移动