Computing the dimension of a semi-algebraic set. Basu, S., Pollack, R., Roy, M.-F. (2004) Zapiski Nauchnykh Seminarov POMI