Title: Scientific computation with automatic result verification
Subjects: Congresses, Numerical calculations, Algorithms, Verification