  Matrix-valued polynomials in any finite number of freely noncommuting
variables that enjoy certain canonical partial convexity properties are
characterized, via an algebraic certificate, in terms of Linear Matrix
Inequalities and Bilinear Matrix Inequalities.
