Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
scientific article; zbMATH DE number 2173295