The exact dot product as basic tool for long interval arithmetic
scientific article; zbMATH DE number 5968760