Content deleted Content added
m move external link |
|||
Line 32:
* [[Knuth–Bendix completion algorithm]]
* [[Quine-McCluskey algorithm]] (analogous algorithm for Boolean algebra)
* [http://www.scholarpedia.org/article/Buchberger%27s_algorithm Buchberger's algorithm] discussed more extensively on Scholarpedia▼
== References ==
Line 56 ⟶ 55:
== External links ==
* {{springer|title=Buchberger algorithm|id=p/b110980}}
▲* [http://www.scholarpedia.org/article/Buchberger%27s_algorithm Buchberger's algorithm]
* {{MathWorld | urlname=BuchbergersAlgorithm | title=Buchberger's Algorithm}}
|