TY  - RPRT
TI  - Simplification Methods for Sum-of-Squares Programs
AU  - Peter Seiler
AU  - Qian Zheng
AU  - Gary Balas
PY  - 2013
UR  - https://arxiv.org/abs/1303.0714
ID  - 1303.0714
ER  -