1001コメント361KB

ジョルダンの曲線定理が完全証明される

■ このスレッドは過去ログ倉庫に格納されています

0170１３２人目の素数さん

2005/09/29(木) 16:43:38

次は有限単純群の分類証明を
計算機でチェックできる形式に書き下してくれ

■ このスレッドは過去ログ倉庫に格納されています