Title: Scientific Computing with Automatic Result Verification
Subjects: Computer science, mathematics, Electronic data processing