Computing noncommutative Gröbner bases and certifying operator identities
Sprache des Vortragstitels:
Algebraic rewriting seminar
Sprache des Tagungstitel:
We recall the main results of the theory of Gröbner bases in the free algebra. Additionally, we discuss an adaption of Faugère?s F4 algorithm to this setting, which allows us to compute noncommutative Gröbner bases using linear algebra. As an application of noncommutative Gröbner bases, we also present a recently developed framework to rigorously prove operator identities by verifying ideal membership of noncommutative polynomials.