SMS versenden: Scientific Computation with Automatic Result Verification