TY - RPRT TI - Computing the dimension of real algebraic sets AU - Piere Lairez AU - Mohab Safey El Din PY - 2021 DO - 10.1145/3452143.3465551 UR - https://arxiv.org/abs/2105.10255 ID - 2105.10255 ER -