TenRes swMATH ID: 19993 Software Authors: Hossein Poor, Jamal; Raab, Clemens G.; Regensburger, Georg Description: 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”obner bases in noncommutative polynomial algebras as has been used so far in the literature, we use {it G. M. Bergman}’s [Adv. Math. 29, 178–218 (1977; Zbl 0326.16019)] 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. Homepage: http://dl.acm.org/citation.cfm?doid=2930889.2930900 Dependencies: Mathematica Keywords: integro-differential operators; noncommutative Gr”obner basis; operator algebra; reduction systems; tensor algebra Related Software: Mathematica; OreModules; Maple; Plural Cited in: 5 Publications Cited by 5 Authors 4 Regensburger, Georg 3 Hossein Poor, Jamal 3 Raab, Clemens G. 1 Chenavier, Cyrille 1 Quadrat, Alban Cited in 2 Serials 1 Journal of Algebra 1 Journal of Symbolic Computation Cited in 4 Fields 4 Computer science (68-XX) 3 Commutative algebra (13-XX) 3 Operator theory (47-XX) 2 Associative rings and algebras (16-XX) Citations by Year