TY  - RPRT
TI  - Polar Varieties and Efficient Real Elimination
AU  - B. Bank
AU  - M. Giusti
AU  - J. Heintz
AU  - G. M. Mbakop
PY  - 2000
UR  - https://arxiv.org/abs/math/0005041
ID  - math/0005041
ER  -