目次
第1部 背景(証明機械;目的を絞って;超幾何データベース)
第2部 5種類の基本アルゴリズム(Sister Celine法;Gosperのアルゴリズム;Zeilbergerのアルゴリズム;WZ現象;アルゴリズムHyper)
第3部 エピローグ(作用素代数の観点)
第1部 背景(証明機械;目的を絞って;超幾何データベース)
第2部 5種類の基本アルゴリズム(Sister Celine法;Gosperのアルゴリズム;Zeilbergerのアルゴリズム;WZ現象;アルゴリズムHyper)
第3部 エピローグ(作用素代数の観点)