OreSys: A Mathematica implementation of several algorithms for uncoupling systems of linear Ore operator equations

This package is part of the RISCErgoSum bundle. See Download and Installation.

Short Description

OreSys is a Mathematica package for uncoupling systems of linear Ore operator equations. It offers four algorithms for reducing systems of differential or (q-)difference equations to higher order equations in a single unknown variable.

The package has been developed by Stefan Gerhold, a former member of the RISC Combinatorics group.


  • Stefan Gerhold

Accompanying Files


The implemented uncoupling algorithms and the underlying theory are described in

  • S. Gerhold, Uncoupling Systems of Linear Ore Operator Equations, Diploma Thesis, RISC, J. Kepler University, Linz, February 2002. [ps]