内容説明
本書は、多項式の代数と代数多様体の幾何の関係をアルゴリズム的な方法により解説した、新しいスタイルの入門的教科書である。コンピュータを用いて実例を計算しながら、グレブナ基底を求めるブッフベルガーのアルゴリズムと、多項式の連立方程式の解法などへの応用を学び、代数と幾何の対応を理解することができ、ロボット工学への応用、可換環論や代数幾何という数学の研究分野、数学プログラムの開発など、様々な話題が述べられている。日本語版では、原著の参考文献リストを更に充実させ、ソフトウェアＭｕＰＡＤ、Ｒｉｓａ／Ａｓｉｒについて説明するセクションを補った。
目次
第６章 ロボティクスと幾何の定理の自動証明
第７章 有限群の不変式論
第８章 射影代数幾何
第９章 多様体の次元
付録Ａ 代数学の基礎知識
付録Ｂ 擬似コード
付録Ｃ 計算機代数システム
付録Ｄ 自主研究プロジェクト
