Introduction to Groebner bases

MaRDI QIDQ4357060zbMATH OpenFDO

Authors Bruno Buchberger

Publication date 7 October 1997

zbMATH Keywords

Buchberger algorithmcomputer algebraGröbner bases

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) Symbolic computation and algebraic computation (68W30)

Review text

The paper contains a summary of four lectures given by the author at the summer school in Marktoberdorf in 1995. In the first lecture the author gives several examples in order to show the applications of Gröbner bases techniques. The examples are quite different: one is taken from invariant theory, another regards geometry theorem proving, the third regards a formula (connecting Fermat polynomials and elementary symmetric polynomials) that can be easily conjectured from Gröbner bases computations etc. The second lecture contains the main definitions and results of Gröbner bases theory: In particular it contains a detailed exposition of the reduction algorithm, its several properties and it gives a proof of the main theorem on Gröbner bases (i.e. Buchberger algorithm). The third lecture is devoted to some applications of Gröbner bases (membership and radical membership problem, computations in residue rings, syzygies, Hilbert function, elimination of variables, operations with ideals, etc.). Finally, the fourth lecture shortly discusses the possible interactions between algorithmic techniques and software capabilities of logical and algebraic systems. The aim is that of developing a software able to prove formulae automatically and execute them as soon as they represent an algorithm. For the entire collection see [Zbl 0869.00051].

Recommendations

• Notes on Gröbner bases
• scientific article; zbMATH DE number 1163415
• scientific article; zbMATH DE number 217454

Cited in

(13)

• Algorithmische Aspekte zur Theorie der Gröbner-Basen. (Algorithmic aspects of the theory of Gröbner bases)
• Notes on Gröbner bases
• The WDVV equations in pure Seiberg-Witten theory
• Groebner bases in Theorema
• scientific article; zbMATH DE number 4132309 (Why is no real title available?)
• Automating Elementary Number-Theoretic Proofs Using Gröbner Bases
• Canonical Reduction Systems in Symbolic Mathematics
• Gröbner bases, an introduction
• scientific article; zbMATH DE number 1131487 (Why is no real title available?)
• scientific article; zbMATH DE number 1163415 (Why is no real title available?)
• scientific article; zbMATH DE number 1163416 (Why is no real title available?)
• Computation of Gröbner bases
• Gröbner bases and invariant theory

This page was built for publication: Introduction to Groebner bases

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