DOE OSTI2023Precision-aware deterministic and probabilistic error bounds for floating point summationNot provided.Mathematics↗