Revision as of 18:29, 13 March 2016 edit Headbomb (talk \| contribs) Edit filter managers, Autopatrolled, Extended confirmed users, Page movers, File movers, New page reviewers, Pending changes reviewers, Rollbackers, Template editors 472,961 edits m →References: clean up, replaced: ACM SIGSAM Bull. → ACM SIGSAM Bulletin using AWB ← Previous edit		Revision as of 14:29, 25 August 2016 edit undo Ruud Koot (talk \| contribs) 31,416 edits →See also: Knuth–Bendix completion algorithm Next edit →
Line 30: == See also == * [[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

Buchberger's algorithm: Difference between revisions