Computation of the distance to semi-algebraic sets Christophe Ferrier ESAIM: COCV, 5 (2000) 139-156 Published online: 15 August 2002 DOI: 10.1051/cocv:2000104