AKピータース・トッパン数理科学シリーズ<br> A=B―等式証明とコンピュータ

AKピータース・トッパン数理科学シリーズ
A=B―等式証明とコンピュータ

  • ただいまウェブストアではご注文を受け付けておりません。
  • サイズ B5判/ページ数 211p/高さ 25cm
  • 商品コード 9784810189728
  • NDC分類 007.1
  • Cコード C3041

目次

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

最近チェックした商品