OreAlgebraicAnalysis is Mathematica implementation of the OreModules and OreMorphisms packages.
OreAlgebraicAnalysis extends the functionalities of the above two packages: larger classes of Ore algebras, larger classes of linear functional systems, study of generic linearizations of explicit nonlinear functional systems, study of systems with transcendental functions (e.g., trigonometric functions, special functions).
OreAlgebraicAnalysis package is based on the implementation of Gröbner bases over Ore algebras available in the Mathematica HolonomicFunctions package developed by Christoph Koutschan (RICAM, Linz).
It has been developed by Maris Tõnso, T. Cluzeau and A. Quadrat within the PHC Parrot project CASCAC.