Though American mathematician Appel and Haben declared that they had proved Four color conjecture to be correct by using computers, which ran for 1200 hours, people still expect a simple theoretical proof instead of using computer.

  • 1976年美国数学家Appel和Haken宣布:他们用电子计算机花了1200多小时证明了四色猜想是成立的。

  • 互联网摘选 2025-01-19 23:48:25

    • 相关例句
    精确
    • 模糊
    • 词首
    • 词尾
    • 词义
    • 例句