8 citations · 11 across the 2 of their papers we have counts for
2 papers
math.AG2010★ 3 cited
Constructive -module Theory with \textsc{Singular}
Daniel Andres, Michael Brickenstein, Viktor Levandovskyy +2
We overview numerous algorithms in computational -module theory together with the theoretical background as well as the implementation in the computer algebra system \textsc{Sin…
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…