Text this: Algorithms in Real Algebraic Geometry