scientific article; zbMATH DE number 1273643

MaRDI QIDQ4237373zbMATH OpenFDO

Authors Reinhard Bündgen

Publication date 11 August 1999

zbMATH Keywords

term rewriting system

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Grammars and rewriting systems (68Q42)

Recommendations

• The completeness problem in the function algebra of linear integer-coefficient polynomials
• scientific article; zbMATH DE number 1166297
• scientific article; zbMATH DE number 4042538
• On the additive completion of polynomial sets
• scientific article; zbMATH DE number 1557989
• scientific article; zbMATH DE number 3083626
• Polynomial complements
• On incomplete polynomials

Cited in

(5)

• Buchberger's algorithm: The term rewriter's point of view
• Simulating Buchberger's algorithm by Knuth-Bendix completion
• Towards an efficient construction of test sets for deciding ground reducibility
• Buchberger's algorithm: the term rewriter's point of view (extended abstract)
• On pot, pans and pudding or how to discover generalised critical pairs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4237373)