OreModules - Linear Control Systems over Ore Algebras
OreModules is a Maple implementation of algorithms which compute parametrizations, extension modules (ext), resolutions and other algebraic objects for linear systems of differential equations, time-delay systems, etc.