一种从任意理想基构造 Gröbner 基 的算法。Buchberger 算法依赖于 
-多项式和多项式对一组多项式取模约化的概念，后者是算法中计算量最大的部分。
Buchberger 算法
另请参阅
Gröbner 基, Knuth-Bendix 完成算法使用 Wolfram|Alpha 探索
参考文献
Becker, T. 和 Weispfenning, V. Gröbner 基：交换代数的计算方法。 纽约：施普林格出版社，pp. 213-214, 1993。Buchberger, B. "将多项式化简为规范形式的理论基础。" SIGSAM 公报 39, 19-24, 8月 1976。Cox, D.; Little, J.; 和 O'Shea, D. 理想，簇和算法：代数几何与交换代数导论，第 2 版。 纽约：施普林格出版社，1996。Giovini, A.; Mora, T.; Niesi, G.; Robbiano, L.; 和 Traverso, C. "请来一块方糖？，或 Buchberger 算法中的选择策略。" 国际符号与代数计算研讨会论文集。 pp. 49-54, 1991 年 6 月。在 Wolfram|Alpha 中被引用
Buchberger 算法引用为
Weisstein, Eric W. "Buchberger 算法。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/BuchbergersAlgorithm.html