9 citations · 17 across the 9 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.RA2017
Syzygies among reduction operators
Cyrille Chenavier
We introduce the notion of syzygy for a set of reduction operators and relate it to the notion of syzygy for presentations of algebras. We give a method for constructing a linear b…
cs.SC2017
A lattice formulation of the F4 completion procedure
Chenavier Cyrille
We write a procedure for constructing noncommutative Groebner bases. Reductions are done by particular linear projectors, called reduction operators. The operators enable us to use…