TY  - RPRT
TI  - Proving Inequalities and Solving Global Optimization Problems via Simplified CAD Projection
AU  - Jingjun Han
AU  - Zhi Jin
AU  - Bican Xia
PY  - 2013
UR  - https://arxiv.org/abs/1205.1223
ID  - 1205.1223
ER  -