8 citations · 8 across the 2 of their papers we have counts for
2 papers
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.CO2007
Convex Rank Tests and Semigraphoids
Jason Morton, Lior Pachter, Anne Shiu +2
Convex rank tests are partitions of the symmetric group which have desirable geometric properties. The statistical tests defined by such partitions involve counting all permutation…