Manipulating Matrix Inequalities Automatically

@inproceedings{Helton2003ManipulatingMI,
  title={Manipulating Matrix Inequalities Automatically},
  author={J. William Helton},
  booktitle={Mathematical Systems Theory in Biology, Communications, Computation, and Finance},
  year={2003}
}