35 citations · 166 across the 37 of their papers we have counts for
5 papers · 1 filter
Using Semicontinuity for Standard Bases Computations
Gert-Martin Greuel, Gerhard Pfister, Hans Schönemann
We present new results and an algorithm for standard basis computations of a 0-dimensional ideal I in a power series ring or in the localization of a polynomial ring in finitely ma…
Semicontinuity of Singularity Invariants in Families of Formal Power Series
Gert-Martin Greuel, Gerhard Pfister
The problem we are considering came up in connection with the classification of singularities in positive characteristic. Then it is important that certain invariants like the dete…
Normalization of Rings
Gert-Martin Greuel, Santiago Laplagne, Frank Seelisch
We present a new algorithm to compute the integral closure of a reduced Noetherian ring in its total ring of fractions. A modification, applicable in positive characteristic, where…
New developments in the theory of Groebner bases and applications to formal verification
Michael Brickenstein, Alexander Dreyer, Gert-Martin Greuel +2
We present foundational work on standard bases over rings and on Boolean Groebner bases in the framework of Boolean functions. The research was motivated by our collaboration with…
The Groebner basis of the ideal of vanishing polynomials
G. -M. Greuel, F. Seelisch, O. Wienand
We construct an explicit minimal strong Groebner basis of the ideal of vanishing polynomials in the polynomial ring over Z/m for m>=2. The proof is done in a purely combinatorial w…