分野別セミナー

計算機代数は計算機上で数式を記号的に扱うためのアルゴリズムを開発する研究領域である. 本講演ではパラメータを扱うような計算機代数手法である”包括的グレブナー基底系”を紹介す る. 我々は包括的グレブナー基底系をパラメータ付きグレブナー基底として見做すことができ る. より詳細に言えば, 我々は包括的グレブナー基底系を利用することで, 分割されたパラメー タ空間と各空間に対応するパラメータ付きグレブナー基底を得ることができる. 本講演では包 括的グレブナー基底系に関する性質を述べるとともに, それに基づいた”複素数領域における限量子消去”や”実数領域における限量子消去”についても述べる.