9 citations · 17 across the 9 of their papers we have counts for
Showing cs.SCShow all
2 papers · 1 filter
cs.SC2020★ 9 cited
Compatible rewriting of noncommutative polynomials for proving operator identities
Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab +1
The goal of this paper is to prove operator identities using equalities between noncommutative polynomials. In general, a polynomial expression is not valid in terms of operators,…
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…