Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets. - Ivan Bannwarth; Mohab Safey El Din (ISSAC, 2015)