23/04/23 14:49:33.71 xRz9gQiq.net
>>320
つづき
//ja.wikipedia.org/wiki/グレブナー基底
グレブナー基底は、多変数多項式の簡約化が一意に行える多項式の集合である。多変数の連立代数方程式の解を求める際などに利用される
グレブナー基底を求めるアルゴリズムとしては、ブッフベルガーアルゴリズム（Buchberger's algorithm）があり、数式処理の分野での連立代数方程式の解法として使われている。また、可換環論、代数幾何、微分方程式論、整数計画問題などに出てくる様々な数学的対象物を構成するための基礎となっている
歴史
多項式環上のグレブナー基底の理論はオーストリアの大学院生であったブルーノ・ブッフベルガー（英語版）によって1965年に発表され、その当時のブッフベルガーの指導教授ヴォルフガンク・グレブナー（英語版）の名前からグレブナー基底と名付けられた。これと独立して1964年に局所環上での同様の理論が広中平祐によって発見され、標準基底（Hironaka's standard basis）とも呼ばれる。自由リー代数の枠組みでの同様の理論はA. I. Shirshovによって1962年に発見されたが、ソ連の外には広く知られなかった
以上