arXiv:1508.03715 [math.OC]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords linear matrix inequality, exact algorithm, state-of-the-art computer algebra algorithms, multilinear bezout bound, symmetric matrices a0 Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset