17 citations · 53 across the 6 of their papers we have counts for
Showing math.ACShow all
2 papers · 1 filter
math.AC2008★ 8 cited
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…
math.AC2007★ 17 cited
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…