@misc{indiciae0dbca7b18ddb,
  title = {Numerical method for real root isolation of semi-algebraic system and its applications},
  author = {Zhenyi Ji and Wenyuan Wu and Yi Li and Yong Feng},
  year = {2013},
  url = {https://arxiv.org/abs/1303.5503},
  note = {Source identifier: 1303.5503}
}