Text this: Symbolic, algebraic and Validated numerical computation