Matrix inequalities: A symbolic procedure to determine convexity automatically

DOI10.1007/s00020-001-1147-7zbMath1046.68139MaRDI QIDQ1402354

Robert E. Skelton, J. William Helton, Jieping Ye, Juan F. Camino

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

zbMATH Keywords

algorithms; convexity; positive semidefinite; noncommutative algebra; Groebner bases; NCAlgebra

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

15A39: Linear inequalities of matrices

93A99: General systems theory

14P99: Real algebraic and real-analytic geometry

47L99: Linear spaces and algebras of operators

Related Items

Computer algebra tailored to matrix inequalities in control, Noncommutative plurisubharmonic polynomials. II: Local assumptions, Noncommutative convexity arises from linear matrix inequalities, Singularities of rational functions and minimal factorizations: the noncommutative and the commutative setting, Classification of all noncommutative polynomials whose Hessian has negative signature one and a noncommutative second fundamental form, Noncommutative rational functions, their difference-differential calculus and realizations, Non-commutative polynomial solutions to partial differential equations, The Hessian of a noncommutative polynomial has numerous negative eigenvalues, Matrix representations for positive noncommutative polynomials, NCSOStools: a computer algebra system for symbolic and numerical computation with noncommutative polynomials

Uses Software

• NCAlgebra