next up previous contents index
: RSA 暗号系 : Risa/Asir ドリル : グレブナ基底と多変数連立代数方程式系の解法   目次   索引

参考文献

1
大阿久俊則: D-加群と計算代数, 朝倉書店.
微分方程式とグレブナ基底の入門書. グレブナ基底に関する証明付きの簡潔な解説もある.

2
D.Cox, J.Little, D.O'Shea, Ideals, Varieties, and Algorithms -- An Introduction to Commutative Algebraic Geometry and Commutative Algebra, 1991, Springer-Verlag.
日本語訳: D. コックス, J. リトル, D. オシー: グレブナ基底と代数多様体入門 (上/下). 落合他訳, シュプリンガー フェアラーク 東京, 2000. ISBN 4-431-70823-5, 4-431-70824-3.
世界的に広く読まれている, グレブナ基底の入門書. Buchberger アルゴリズム自体は, 2 章までよめば理解できる.

3
野呂: 計算代数入門, Rokko Lectures in Mathematics, 9, 2000. ISBN 4-907719-09-4.
http://www.math.kobe-u.ac.jp/Asir/ca.pdf から, PDF ファイルを取得できる.
http://www.openxm.org より openxm のソースコードをダウンロードすると, ディレクトリ OpenXM/doc/compalg にこの本の TeX ソースがある. グレブナ基底を用いた代数方程式系の解法や, Buchberger アルゴリズムの高速化法について詳しい解説がある.


Nobuki Takayama 平成15年9月12日