In computer algebra, an Ore algebra is a special kind of iterated Ore extension that can be used to represent linear functional operators, including linear differential and/or recurrence operators. The concept is named after Øystein Ore.

Definition

Let be a (commutative) field and be a commutative polynomial ring (with when ). The iterated skew polynomial ring

3.Next