Title: Validation numerics
Subjects: Algebra, abstract, Computer programs, validation, Computer arithmetic, Numerical calculations, Verification