Title: Computer arithmetic and self-validating numerical methods
Subjects: Numerical analysis, Congresses, Computer arithmetic