Polar varieties and efficient real elimination | Publicación