ude the following. (Apart from the relevant papers, a detailed summary of this work can be found in the survey article [14] which will appear shortly in the AMS Contemporary Mathematics Series.) • In =-=[25, 10]-=-, I obtain the first single exponential time algorithm for computing the first ? Betti numbers of semi-algebraic sets, where ? is allowed to be any fixed constant. We describe an algorithm that takes