Unimodular Completions and Orthogonal Complements of Matrices over Univariate Ore Extensions

68Q25: Analysis of algorithms and problem complexity

68R10: Graph theory (including graph drawing) in computer science

68U05: Computer graphics; computational geometry (digital and algorithmic aspects)

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Computing the Hermite form of a matrix of Ore polynomials
On necessary and sufficient conditions for differential flatness
On the computation of \(\pi\)-flat outputs for linear time-varying differential-delay systems
Analysis and control of nonlinear systems. A flatness-based approach
Algorithms for the Quillen-Suslin theorem
Serre's conjecture
An introduction to pseudo-linear algebra
On hyper-regularity and unimodularity of Ore polynomial matrices
On unimodular matrices of difference operators
Generalized inverses. Theory and applications.
On simultaneous row and column reduction of higher-order linear differential systems
Fraction-free row reduction of matrices of Ore polynomials.
Effective algorithms for parametrizing linear control systems over Ore algebras
Jacobi's bound for a diffiety defined by a quasi-regular system
Jacobi's problem on the order of a system of differential equations
Simultaneously row- and column-reduced higher-order linear differential systems
On generalized inverses of singular matrix pencils
The Quillen - Suslin theorem and the structure of n-dimensional elementary polynomial matrices
Generalized inverse of polynomial matrices
Controllability and observability of linear delay systems: an algebraic approach
Flatness and defect of non-linear systems: introductory theory and examples
Effective Algebraic Analysis Approach to Linear Systems over Ore Algebras
Popov Form Computation for Matrices of Ore Polynomials
A computational view on normal forms of matrices of Ore polynomials
Generalized Inverses of Linear Transformations
Vector Spaces of Linearizations for Matrix Polynomials
Degree of Dieudonné determinant defines the order of nonlinear system