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.
LiteratureThe 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]