Reducing the truncation error in Taylor model multiplication
scientific article; zbMATH DE number 7925694