Text this: Algorithms in real algebraic geometry /