コンピュータ支援証明

書いてみる

関連タグ

#4色問題 (7)
#ケプラー予想 (2)
#ゴルジウスの第三定理 (2)
#有限単純群の分類 (1)

ソフィスト，ゴルジウスの第三定理

sgk
3年前