Pdf Scientific Computation With Automatic Result Verification 1988