Invia SMS: Scientific Computation with Automatic Result Verification