Title: Scientific computing with automatic result verification
Subjects: Electronic data processing, Computer science, Mathematics, Numerical calculations, Verification, Numerical analysis, Computer programs, Algorithms, Computer science, mathematics