Scientific Computation with Automatic Result Verification (Computing Supplementa)