Exact linear modeling using Ore algebras

DOI10.1016/j.jsc.2011.08.001zbMath1237.93041arXiv1004.2924MaRDI QIDQ650834

Viktor Levandovskyy, Kristina Schindelar, Eva Zerz

Publication date: 7 December 2011

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1004.2924

zbMATH Keywords

annihilator; Syzygies; linear exact modeling; noncommutative Gröbner basis; Ore algebra

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)

93B25: Algebraic methods

16Z05: Computational aspects of associative rings (general theory)

Related Items

Constructive \(D\)-module theory with \texttt{Singular}, Exact linear modeling with polynomial coefficients

Uses Software

• Plural
• SINGULAR
• OreModules

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The discrete multidimensional MPUM
• Exact linear modeling with polynomial coefficients
• Non-commutative elimination in Ore algebras proves multivariate identities
• Effective algorithms for parametrizing linear control systems over Ore algebras
• Algorithmic proofs of two theorems of Stafford.
• OreModules: A Symbolic Package for the Study of Multidimensional Linear Systems
• Reed–Solomon List Decoding From a System-Theoretic Perspective
• A behavioral approach to linear exact modeling
• Behavioral Models for List Decoding
• Algebraic analysis of linear multidimensional control systems
• Characteristic Frequencies, Polynomial-Exponential Trajectories, and Linear Exact Modeling with Multidimensional Behaviors