Gröbner Bases, Macaulay Matrices and Dubé's Degree Bounds

Title:	Gröbner Bases, Macaulay Matrices and Dubé's Degree Bounds
Author:	Alexander Maletzky
Submission date:	2019-06-15
Abstract:	This entry formalizes the connection between Gröbner bases and Macaulay matrices (sometimes also referred to as `generalized Sylvester matrices'). In particular, it contains a method for computing Gröbner bases, which proceeds by first constructing some Macaulay matrix of the initial set of polynomials, then row-reducing this matrix, and finally converting the result back into a set of polynomials. The output is shown to be a Gröbner basis if the Macaulay matrix constructed in the first step is sufficiently large. In order to obtain concrete upper bounds on the size of the matrix (and hence turn the method into an effectively executable algorithm), Dubé's degree bounds on Gröbner bases are utilized; consequently, they are also part of the formalization.
BibTeX:	@article{Groebner_Macaulay-AFP, author = {Alexander Maletzky}, title = {Gröbner Bases, Macaulay Matrices and Dubé's Degree Bounds}, journal = {Archive of Formal Proofs}, month = jun, year = 2019, note = {\url{http://isa-afp.org/entries/Groebner_Macaulay.html}, Formal proof development}, ISSN = {2150-914x}, }
License:	BSD License
Depends on:	Groebner_Bases
Status: [ok]	This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.