参考文献

1

齋藤, 竹島, 平野: Risa/Asir ガイドブック SEG 出版, ISBN4-87243-076-X.
Risa/Asir の平易な入門書. Risa/Asir の開発の歴史についての記述もあり おもしろい.

2

野呂: 計算代数入門, 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 ソースがある.

3

D.E. Knuth: The Art of Computer Programming, Vol2. Seminumerical Algorithms, 3rd ed. Addison-Wesley (1998). ISBN 0-201-89684-2.
日本語訳はサイエンス社から, ``準数値算法'' という書名で出版されている. 乱数, 浮動小数, (多倍長)整数, 多項式 GCD, 因数分解などに関する アルゴリズムについて広範かつ詳細に書かれている. アルゴリズムだけでなく その実装法についても得るところが多い.

因数分解をするための Berlekamp のアルゴリズムについては, 他に藤原良, 神保雅一: 符号と暗号の数理 (共立) などを参考にするといいで あろう.