1 3 5 7 1 2 7 9

　　　　　

数学月間の会SGKのURLは，https://sgk2005.org/　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　

メニュー

目次

ブライアン・デイビス＿数学は何処へ行く

コンピュータ支援の証明

コンピュター利用の証明のステップは大丈夫か　

抜け落ちの保証はないコンピュータの数え上げ，有限単純群

メニュー