How can I solve this problem with CVX

Hi everyone! I’m new in the use of cvx!

How you can see from the image, I have to solve the condition (15) in order to found the matrix Q. How can I convert this problem in cvx form? (obviuosly , I hava alredy calculated the matrixs X0,t X1,t and U0,1,T).

Thanks for your help!!

[Walter Roberson]

It is not obvious to me that the third-party add-on cvx can be used for theorem proving. It can be used for theorem testing by calculating results for specific inputs and then checking whether the results are consistent with the hypothesis, but I have not seen any indication that it can be used for proofs.

http://cvxr.com/cvx/