@misc{indiciae1196017b57db,
  title = {Proving Inequalities and Solving Global Optimization Problems via Simplified CAD Projection},
  author = {Jingjun Han and Zhi Jin and Bican Xia},
  year = {2013},
  url = {https://arxiv.org/abs/1205.1223},
  note = {Source identifier: 1205.1223}
}