2 papers
math.AG2012
Ideal-specific elimination orders form a star-shaped region
Hartwig Bosse, Christine Gärtner, Oleg Golubitsky
This paper shows that Gröbner walks aiming for the elimination of variables from a polynomial ideal can be terminated much earlier than previously known. To this end we provide an…
math.MG2003
Polynomial inequalities representing polyhedra
Hartwig Bosse, Martin Groetschel, Martin Henk
Our main result is that every n-dimensional polytope can be described by at most (2n-1) polynomial inequalities and, moreover, these polynomials can explicitly be constructed. For…