A reduced product of absolute and relative error bounds for floating-point analysis
scientific article; zbMATH DE number 7689284