DOE OSTI2023Probabilistic Rounding Error Analysis of Householder QR FactorizationNot provided.Mathematics↗