A=B : 等式証明とコンピュータ
著者
書誌事項
A=B : 等式証明とコンピュータ
（A K ピータース・トッパン数理科学シリーズ, 7）
トッパン, 1997.9
- タイトル別名
-
A=B
- タイトル読み
-
A=B : トウシキ ショウメイ ト コンピュータ
大学図書館所蔵 全66件
この図書・雑誌をさがす
注記
文献: p[199]-205
内容説明・目次
目次
- 第１部 背景（証明機械；目的を絞って；超幾何データベース）
- 第２部 ５種類の基本アルゴリズム（Ｓｉｓｔｅｒ Ｃｅｌｉｎｅ法；Ｇｏｓｐｅｒのアルゴリズム；Ｚｅｉｌｂｅｒｇｅｒのアルゴリズム；ＷＺ現象；アルゴリズムＨｙｐｅｒ）
- 第３部 エピローグ（作用素代数の観点）
「BOOKデータベース」 より