A=B : 等式証明とコンピュータ
Author(s)
Bibliographic Information
A=B : 等式証明とコンピュータ
（A K ピータース・トッパン数理科学シリーズ, 7）
トッパン, 1997.9
- Other Title
-
A=B
- Title Transcription
-
A=B : トウシキ ショウメイ ト コンピュータ
Available at / 66 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
文献: p[199]-205
Description and Table of Contents
Table of Contents
- 第１部 背景（証明機械；目的を絞って；超幾何データベース）
- 第２部 ５種類の基本アルゴリズム（Ｓｉｓｔｅｒ Ｃｅｌｉｎｅ法；Ｇｏｓｐｅｒのアルゴリズム；Ｚｅｉｌｂｅｒｇｅｒのアルゴリズム；ＷＺ現象；アルゴリズムＨｙｐｅｒ）
- 第３部 エピローグ（作用素代数の観点）
by "BOOK database"
