@misc{indiciae7976a05e18d2,
  title = {Polar Varieties and Efficient Real Elimination},
  author = {B. Bank and M. Giusti and J. Heintz and G. M. Mbakop},
  year = {2000},
  url = {https://arxiv.org/abs/math/0005041},
  note = {Source identifier: math/0005041}
}