Scientific computation with automatic result verification

Computer arithmetic in theory and practice

1981

Computer arithmetic and validity

Scientific computing with automatic result verification

Perspectives on enclosure methods

Grundlagen der Computer-Arithmetik