TY  - RPRT
TI  - Algorithms in Real Algebraic Geometry: A Survey
AU  - Saugata Basu
PY  - 2014
UR  - https://arxiv.org/abs/1409.1534
ID  - 1409.1534
ER  -