scientific article; zbMATH DE number 1163435

MaRDI QIDQ4394970zbMATH OpenFDO

Authors Henri Lombardi, Hervé Perdry

Publication date 9 November 1999

zbMATH Keywords

Buchberger algorithmconstructive mathematicsGröbner basesHilbert basis theorem

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Recommendations

• Standard bases for general coefficient rings and a new constructive proof of Hilbert's basis theorem
• Constructing Gröbner bases for Noetherian rings
• Strongly Noetherian rings and constructive ideal theory
• scientific article; zbMATH DE number 1420784
• scientific article; zbMATH DE number 1303350

Cited in

(8)

• An algorithmic version of Zariski's lemma
• Some intuitionistic equivalents of classical principles for degree 2 formulas
• Algorithm for checking triviality of ``mixed ideals in the ring of differential polynomials
• Strongly Noetherian rings and constructive ideal theory
• scientific article; zbMATH DE number 4210137 (Why is no real title available?)
• scientific article; zbMATH DE number 5365720 (Why is no real title available?)
• scientific article; zbMATH DE number 1567893 (Why is no real title available?)
• scientific article; zbMATH DE number 913116 (Why is no real title available?)

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 Q4394970)