Symbolic computer algebra algorithms for factorizations of Sylvester mappings with applications to the production of linear matrix inequalities in systems and controls.