Matrix inequalities: A symbolic procedure to determine convexity automatically
From MaRDI portal
Publication:1402354
DOI10.1007/s00020-001-1147-7zbMath1046.68139OpenAlexW1966069595MaRDI QIDQ1402354
Juan F. Camino, Robert E. Skelton, Jieping Ye, J. William Helton
Publication date: 27 August 2003
Published in: Integral Equations and Operator Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00020-001-1147-7
Symbolic computation and algebraic computation (68W30) Linear inequalities of matrices (15A39) General systems theory (93A99) Real algebraic and real-analytic geometry (14P99) Linear spaces and algebras of operators (47L99)
Related Items
Noncommutative partially convex rational functions ⋮ Noncommutative convexity arises from linear matrix inequalities ⋮ Non-commutative varieties with curvature having bounded signature ⋮ Noncommutative rational functions, their difference-differential calculus and realizations ⋮ Bilinear matrix inequalities and polynomials in several freely noncommuting variables ⋮ Non-commutative polynomial solutions to partial differential equations ⋮ Matrix coefficient realization theory of noncommutative rational functions ⋮ A local-global principle for linear dependence of noncommutative polynomials. ⋮ The Hessian of a noncommutative polynomial has numerous negative eigenvalues ⋮ Sweeping words and the length of a generic vector subspace of \(M_n(\mathbb{F})\) ⋮ Computer algebra tailored to matrix inequalities in control ⋮ Noncommutative plurisubharmonic polynomials. II: Local assumptions ⋮ Matrix representations for positive noncommutative polynomials ⋮ Local linear dependence of linear partial differential operators ⋮ Singularities of rational functions and minimal factorizations: the noncommutative and the commutative setting ⋮ Convexity and Semidefinite Programming in Dimension-Free Matrix Unknowns ⋮ Realizations of non‐commutative rational functions around a matrix centre, I: synthesis, minimal realizations and evaluation on stably finite algebras ⋮ NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials ⋮ Classification of all noncommutative polynomials whose Hessian has negative signature one and a noncommutative second fundamental form ⋮ Free (rational) derivation ⋮ Quasi-identities on matrices and the Cayley-Hamilton polynomial. ⋮ Realizations of non-commutative rational functions around a matrix centre. II: The lost-abbey conditions
Uses Software
