グレブナー基底を求めるアルゴリズムとしては、ブッフバーガーが発見したブッフバーガーアルゴリズムがあり、数式処理の分野での連立代数方程式の解法として使われている.
が発見したブッフバーガー