ＡＫピータース・トッパン数理科学シリーズ Ａ＝Ｂ―等式証明とコンピュータ

ペトコブセク，マーコ〈Ｐｅｔｋｏｖ〓ｓｅｋ，Ｍａｒｋｏ〉/ウィルフ，ハーバート・Ｓ．〈Ｗｉｌｆ，Ｈｅｒｂｅｒｔ Ｓ．〉/ザイルバーガー，ドロン【著】〈Ｚｅｉｌｂｅｒｇｅｒ

トッパン（1997/09発売）

• サイズ B5判／ページ数 211p／高さ 25cm
• 商品コード 9784810189728
• NDC分類 007.1
• Cコード C3041

目次

第１部　背景（証明機械；目的を絞って；超幾何データベース）
第２部　５種類の基本アルゴリズム（Ｓｉｓｔｅｒ　Ｃｅｌｉｎｅ法；Ｇｏｓｐｅｒのアルゴリズム；Ｚｅｉｌｂｅｒｇｅｒのアルゴリズム；ＷＺ現象；アルゴリズムＨｙｐｅｒ）
第３部　エピローグ（作用素代数の観点）