Buchberger's algorithm: Difference between revisions

Content deleted Content added
Ruud Koot (talk | contribs)
Ruud Koot (talk | contribs)
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] discussed more extensively on Scholarpedia
* {{MathWorld | urlname=BuchbergersAlgorithm | title=Buchberger's Algorithm}}