OreModules: A Symbolic Package for the Study of Multidimensional Linear Systems
From MaRDI portal
Publication:2912063
DOI10.1007/978-3-540-49556-7_15zbMath1248.93006MaRDI QIDQ2912063
Daniel Robertz, Alban Quadrat, Frédéric Chyzak
Publication date: 13 September 2012
Published in: Applications of Time Delay Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-49556-7_15
invariant factors; Diophantine equations; ordinary differential equations (ODEs); primeness; Bézout equations; time-invariant linear systems; Hermite, Smith and Popov forms; univariate polynomial matrices
93C05: Linear systems in control theory
93C15: Control/observation systems governed by ordinary differential equations
93-04: Software, source code, etc. for problems pertaining to systems and control theory
Related Items
OreModules, Transforming linear functional systems into fully integrable systems, Serre's reduction of linear functional systems., Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases, Exact linear modeling using Ore algebras, The parametric solution of underdetermined linear ODEs, Factoring and decomposing a class of linear functional systems, Computation of bases of free modules over the Weyl algebras., Effective algorithms for parametrizing linear control systems over Ore algebras, Unnamed Item, AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION, homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA