OreAlgebraicAnalysis
:
A
Mathematica
package for the algorithmic study of linear functional systems