Αποστολή με SMS: Symbolic, algebraic and Validated numerical computation