Computer arithmetic and self-validating numerical methods | lit.salon