@inproceedings{Safey_El_Din_2003,
    doi = {10.1145/860854.860901},
    url = {https://doi.org/10.1145%2F860854.860901},
    year = {2003},
    month = {aug},
    publisher = {{ACM}},
    author = {Mohab Safey El Din and {\'{E}}ric Schost},
    title = {Polar varieties and computation of one point in each connected component of a smooth real algebraic set},
    booktitle = {Proceedings of the 2003 international symposium on Symbolic and algebraic computation}
}

@inproceedings{Safey_El_Din_2003, doi = {10.1145/860854.860901}, url = {https://doi.org/10.1145%2F860854.860901}, year = {2003}, month = {aug}, publisher = {{ACM}}, author = {Mohab Safey El Din and {\'{E}}ric Schost}, title = {Polar varieties and computation of one point in each connected component of a smooth real algebraic set}, booktitle = {Proceedings of the 2003 international symposium on Symbolic and algebraic computation} }