We propose a general algorithmic approach to noncommutative operator algebras generated by additive operators using quotients of tensor rings that are defined by tensor reduction systems. Skew polynomials are a well-established tool covering many cases arising in applications. However, integro-differential operators over an arbitrary integro-differential algebra do not fit this structure, for example...
Financed by the National Centre for Research and Development under grant No. SP/I/1/77065/10 by the strategic scientific research and experimental development program:
SYNAT - “Interdisciplinary System for Interactive Scientific and Scientific-Technical Information”.