児玉 です.

Risa/Asir の野呂正行さんの計算機代数についての lecture note が出ています.
いま受け取って, まだ中は読んでいないけど,
数式処理に興味のある人は問い合わせてみると良いかも.
多項式の扱いとか, グレブナ基底計算の効率化等について解説しています.

野呂正行,計算機代数, 
Rokko Lectures in Mathematics 9, 2001年3月,
神戸大学理学部数学教室, ISBN 4-907719-09-4
http://www.math.sci.kobe-u.ac.jp/publications/

# LaTeX のソ−スも公開しているらしいけど, どこ????
-- 
K.Kodama(kodama / kobe-kosen.ac.jp)