Manipulating Matrix Inequalities Automatically

This publication has 10 references indexed in Scilit:

• Factorization of operator-valued polynomials in several non-commuting variables
  Linear Algebra and its Applications, 2001
• Boundary control systems in factor form: Transfer functions and input-output maps
  Integral Equations and Operator Theory, 2001
• Some concrete aspects of Hilbert’s 17th Problem
  Published by American Mathematical Society (AMS) ,2000
• Zero-pole interpolation for matrix meromorphic functions on a compact Riemann surface and a matrix Fay trisecant identity
  American Journal of Mathematics, 1999
• An algorithm for sums of squares of real polynomials
  Journal of Pure and Applied Algebra, 1998
• Zero-pole interpolation for meromophic matrix functions on an algebraic curve and transfer functions of 2D systems
  Acta Applicandae Mathematicae, 1996
• Linear Matrix Inequalities in System and Control Theory
  Published by Society for Industrial & Applied Mathematics (SIAM) ,1994
• Self-adjoint determinantal representations of real plane curves
  Mathematische Annalen, 1993
• Complete description of determinantal representations of smooth irreducible curves
  Linear Algebra and its Applications, 1989
• Class of global minimum bounds of polynomial functions
  Cybernetics and Systems Analysis, 1988