Symbolic computer algebra algorithms for factorizations of Sylvester mappings with applications to the production of linear matrix inequalities in systems and controls | IEEE Conference Publication | IEEE Xplore