OpenBSD/amd64 4.5 のMaximaでgrobnerパッケージが立ち上がらなかった。maximaはバイナリパッケージからインストールしただけで、特に触っていない。maxima自体は正常に立ち上がる。そこで、load(grobner);を実行したところ、Loading maxima-grobner $Revisi…

数学ガール/ゲーデルの不完全性定理 (数学ガールシリーズ 3)作者: 結城浩出版社/メーカー: SBクリエイティブ発売日: 2009/10/24メディア: 単行本購入: 37人 クリック: 930回この商品を含むブログ (149件) を見る本書は、数学の定理の解説としてはきわめてま…