A=B : 等式証明とコンピュータ
著者
書誌事項
A=B : 等式証明とコンピュータ
(A K ピータース・トッパン数理科学シリーズ, 7)
トッパン, 1997.9
- タイトル別名
-
A=B
- タイトル読み
-
A=B : トウシキ ショウメイ ト コンピュータ
大学図書館所蔵 件 / 全66件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
文献: p[199]-205
内容説明・目次
目次
- 第1部 背景(証明機械;目的を絞って;超幾何データベース)
- 第2部 5種類の基本アルゴリズム(Sister Celine法;Gosperのアルゴリズム;Zeilbergerのアルゴリズム;WZ現象;アルゴリズムHyper)
- 第3部 エピローグ(作用素代数の観点)
「BOOKデータベース」 より