Buchberger's algorithm: Difference between revisions

Content deleted Content added
m References: Various citation cleanup (identifiers mostly) using AWB
No edit summary
Line 21:
==See also==
* [[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==