Algorithmic Operator Algebras via Normal Forms for Tensors

We propose a general algorithmic approach to noncommutative operator algebras generated by linear operators. Ore algebras are a well-established tool covering many cases arising in applications. However, integro-differential operators, for example, do not fit this structure. Instead of using (parametrized) Gröbner bases in noncommutative polynomial algebras as has been used so far in the literature, we use Bergman's basis-free analog in tensor algebras. This allows for a finite reduction system with unique normal forms. To have a smaller reduction system, we develop a generalization of Bergman's setting, which also makes the algorithmic verification of the confluence criterion more efficient. We provide an implementation in Mathematica and we illustrate both versions of the tensor setting using integro-differential operators as an example.