@misc{indiciaed2ddac5ac754,
  title = {Triangular Decomposition of Semi-algebraic Systems},
  author = {Changbo Chen and James H. Davenport and John P. May and Marc Moreno Maza and Bican Xia and Rong Xiao},
  year = {2010},
  url = {https://arxiv.org/abs/1002.4784},
  note = {Source identifier: 1002.4784}
}